hasFragment

URI: https://gptkb.org/prop/hasFragment
77 triples
GPTKB property
Random triples
Subject Object
gptkb:Modal_μ-calculus gptkb:propositional_μ-calculus
gptkb:Solar_Warlock gptkb:Ember_of_Singeing
gptkb:Solar_Warlock gptkb:Ember_of_Empyrean
gptkb:Solar_Warlock gptkb:Ember_of_Eruption
gptkb:first-order_predicate_calculus guarded fragment
gptkb:Dawnblade gptkb:Ember_of_Empyrean
gptkb:Broodweaver gptkb:Thread_of_Wisdom
gptkb:First-order_logic two-variable fragment
gptkb:Solar_Warlock gptkb:Ember_of_Ashes
gptkb:Dawnblade gptkb:Ember_of_Torches
gptkb:Shadebinder gptkb:Whisper_of_Chains
gptkb:Dawnblade gptkb:Ember_of_Benevolence
gptkb:Broodweaver Thread of Propagation
gptkb:Broodweaver Thread of Rebirth
gptkb:Dawnblade gptkb:Ember_of_Tempering
gptkb:Broodweaver gptkb:Thread_of_Mind
gptkb:Shadebinder gptkb:Whisper_of_Bonds
gptkb:Shadebinder gptkb:Whisper_of_Conduction
gptkb:Broodweaver Thread of Generation
gptkb:first-order_predicate_calculus prenex normal form