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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Expressing

 Sigma KEE - Expressing
Expressing(exprimer)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12943-12943 Exprimer est disjointement decompos� en ExpressingApproval + ExpressingDisapproval
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3253-3255
No TPTP formula. May not be expressible in strict first order. Merge.kif 13131-13136
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2669-2669
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12942-12942 Exprimer est compl�tement d�compos� en Gesture + ExpressingInLanguage
No TPTP formula. May not be expressible in strict first order. Merge.kif 13130-13130 Exprimer est une sous-classe de communication

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12945-12945 ExpressingApproval est une sous-classe de exprimer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12958-12958 ExpressingDisapproval est une sous-classe de exprimer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12983-12983 ExpressingFarewell est une sous-classe de exprimer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13132-13132 ExpressingInLanguage est une sous-classe de exprimer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13165-13165 Greeting est une sous-classe de exprimer
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1204-1204
No TPTP formula. May not be expressible in strict first order. english_format.kif 1625-1625
No TPTP formula. May not be expressible in strict first order. french_format.kif 882-882
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 415-415
No TPTP formula. May not be expressible in strict first order. terms-it.txt 418-418
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2566-2566
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 834-834
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 420-420
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 454-454
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 903-903
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 419-419

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13138-13146


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