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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Foot

 Sigma KEE - Foot
Foot(足)

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 足 是 动物解剖结构 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12698-12698 足 是 BodySegment 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1102-1102 %每个 FoodBone 是 足 的 initially part
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 LeftFoot 是 BodySideFn 左 and 足 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2993-2993 PedalEdema 是 EdemaFn 足 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2927-2927 RightFoot 是 BodySideFn 右 and 足 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5182-5182 鞋 是 对于 足 的 covering 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5245-5245 袜子 是 对于 足 的 covering 的 subclass


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