Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  initialPart

Sigma KEE - initialPart
initialPart

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

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)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners