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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - faces
faces

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3791-3793
No TPTP formula. May not be expressible in strict first order. Merge.kif 16956-16960
No TPTP formula. May not be expressible in strict first order. Merge.kif 16954-16954 The number 1 argument of faces is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 16955-16955 The number 2 argument of faces is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 16953-16953 faces is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 107-107
No TPTP formula. May not be expressible in strict first order. english_format.kif 107-107
No TPTP formula. May not be expressible in strict first order. french_format.kif 76-76
No TPTP formula. May not be expressible in strict first order. relations-it.txt 107-107
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1902-1902
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 28-28
No TPTP formula. May not be expressible in strict first order. relations-de.txt 124-124
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 147-147
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 95-95
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 75-75
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 224-224
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 108-108
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23098-23098
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23097-23097
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23096-23096
No TPTP formula. May not be expressible in strict first order. terms-de.txt 36-36
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 225-225

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16962-16967

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16962-16967


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