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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Foot

Sigma KEE - Foot
Foot(foot)
animal_foot, foot, footer, heel, human_foot, pes

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12699-12700
No TPTP formula. May not be expressible in strict first order. pictureList.kif 441-441
No TPTP formula. May not be expressible in strict first order. pictureList.kif 97-97
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12697-12697 Foot is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12698-12698 Foot is a subclass of body segment

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1102-1102 Every FoodBone is initially part of a foot
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24572-24572
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24571-24571
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24570-24570

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 1374-1381
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12702-12707

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12709-12722
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6637-6645
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5247-5255
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5184-5192
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11461-11468
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5212-5232
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12762-12767

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2924-2924 Left foot is a subclass of the left foot
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2993-2993 Pedal edema is a subclass of edema in foot
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2927-2927 Right foot is a subclass of the right foot
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5182-5182 Shoe is a subclass of a covering for foot
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5245-5245 Sock is a subclass of a covering for foot


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