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 10538-10539
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 10536-10536 Face is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10537-10537 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 23026-23026
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23025-23025
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23024-23024

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10567-10578
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10541-10546
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10548-10553

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 10644-10652
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10560-10565
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9967-9972
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9665-9670
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10119-10124
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 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