TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23146-23152
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23154-23154	The number 1 argument of initial part is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23155-23155	The number 2 argument of initial part is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23143-23143	initial part is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23144-23144	initial part is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23145-23145	initial part is internally related to part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3711-3711
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3710-3710
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3709-3709
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30114-30114
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30113-30113
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30112-30112

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 23157-23166

If every a kind of object is initially part of a another kind of object and a physical is an instance of a kind of object,
then there exists an entity such that the entity is an instance of another kind of object and the physical is a part of the entity holds during the beginning of the time of existence of the physical

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23168-23168	Every animal anatomical structure is initially part of a animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11014-11014	Every animal shell is initially part of a animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10291-10291	Every bicep is initially part of a arm
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10309-10309	Every gastrocnemius is initially part of a leg
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11617-11617	Every cornea is initially part of a eye
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11986-11986	Every digit appendage is initially part of a limb
No TPTP formula. May not be expressible in strict first order.	Food.kif 523-523	Every EggYolk is initially part of a egg
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11158-11158	Every exoskeleton is initially part of a animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10338-10338	Every forearm is initially part of a arm
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11269-11269	Every hair is initially part of a animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10324-10324	Every hamstring muscle is initially part of a leg
No TPTP formula. May not be expressible in strict first order.	Food.kif 574-574	Every Juice is initially part of a fruit or vegetable
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10283-10283	Every upper back muscle is initially part of a torso
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10353-10353	Every lower leg is initially part of a leg
No TPTP formula. May not be expressible in strict first order.	Food.kif 660-660	Every Mushroom is initially part of a fungus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10276-10276	Every chest muscle is initially part of a chest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10743-10743	Every rib is initially part of a chest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11793-11793	Every salivary gland is initially part of a mouth
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10316-10316	Every tibialis anterior is initially part of a leg
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10301-10301	Every quadriceps is initially part of a leg
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10296-10296	Every tricep is initially part of a arm
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10343-10343	Every upper arm is initially part of a arm
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10348-10348	Every upper leg is initially part of a leg
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 758-758	Every VocalCords is initially part of a human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 769-769	Every VocalFold is initially part of a VocalCords

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: