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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Head
Head

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12866-12867
No TPTP formula. May not be expressible in strict first order. pictureList.kif 493-493
No TPTP formula. May not be expressible in strict first order. pictureList.kif 111-111
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12864-12864 Head e' uma sub-classe de AnimalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12865-12865 Head e' uma sub-classe de Parte do Corpo

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1438-1438 initialPart Eyebrow and Head
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1487-1487 initialPart Forehead and Head
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 55-55 initialPart HeadBone and Head
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27684-27684
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27683-27683
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27682-27682

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 510-516
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11486-11496
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11498-11507

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13062-13066
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5149-5157
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19336-19341
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12147-12152
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12113-12118
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12886-12891
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12874-12879

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5147-5147 Hat e' uma sub-classe de CoveringFn Head
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19332-19332 Headache e' uma sub-classe de PainFn Head
No TPTP formula. May not be expressible in strict first order. Cars.kif 4368-4368 Helmet e' uma sub-classe de CoveringFn Head


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



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