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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Face

 Sigma KEE - Face
Face(面对)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12883-12884
No TPTP formula. May not be expressible in strict first order. pictureList.kif 88-88
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12881-12881 面对 是 动物解剖结构 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12882-12882 面对 是 身体部位 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23092-23092
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23091-23091
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23090-23090

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12929-12940
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12900-12907
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12909-12915
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 12893-12898

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 1738-1751
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13007-13015
No TPTP formula. May not be expressible in strict first order. Medicine.kif 698-715
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12922-12927
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11797-11802
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11425-11430
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12196-12201
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3150-3155
No TPTP formula. May not be expressible in strict first order. Cars.kif 3519-3532
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5472-5482

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 1854-1854 FacialParalysis 是 ParalysisFn 面对 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5100-5100 Mask 是 对于 面对 的 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