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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 10536-10537
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 10534-10534 Face is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10535-10535 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 23017-23017
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23016-23016
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23015-23015

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10565-10576
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10539-10544
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10546-10551

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 1701-1714
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10642-10650
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10558-10563
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9965-9970
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9663-9668
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10117-10122
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3693-3698
No TPTP formula. May not be expressible in strict first order. Cars.kif 3488-3501
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5721-5731


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