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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Face

Sigma KEE - Face
Face(face)
cheek, face, feature, human_face, jowl, lineament

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14215-14216
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 14213-14213 Face is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14214-14214 Face is a subclass of body part

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23095-23095
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23094-23094
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23093-23093

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14261-14272
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14232-14239
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14241-14247
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14218-14223
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14225-14230

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 14339-14347
No TPTP formula. May not be expressible in strict first order. Medicine.kif 689-706
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14254-14259
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13129-13134
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12757-12762
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13528-13533
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3593-3598
No TPTP formula. May not be expressible in strict first order. Cars.kif 3572-3585
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6410-6420

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 1847-1847 Paralysis of the face is a subclass of paralysis of the face
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6038-6038 Mask is a subclass of a covering for face


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