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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Expressing
Expressing(expressing)
Bronx_cheer, absolve, abuse, acclaim, acclamation, accusative, accusatory, accusing, accusive, acting_out, admonishing, admonitory, adulation, adulatory, affirmative, affirmatory, agonised, agonized, amends, apologetic, apology, applause, appreciation, appreciatively, approbative, approbatory, approving, aspersion, assentient, atonement, back_talk, backtalk, banzai, beef, befooling, belittling, belly_laugh, bellylaugh, benedictive, benedictory, betray, bewray, big_stick, billingsgate, bird, bitch, bless, blessing, blowup, blue_murder...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12944-12944 Expressing is disjointly decomposed into expressing approval and expressing disapproval
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 13109-13114
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 12943-12943 Expressing is exhaustively partitioned into gesture and expressing in language
No TPTP formula. May not be expressible in strict first order. Merge.kif 13108-13108 Expressing is a subclass of communication

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12946-12946 Expressing approval is a subclass of expressing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12959-12959 Expressing disapproval is a subclass of expressing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12984-12984 Expressing farewell is a subclass of expressing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13133-13133 Expressing in language is a subclass of expressing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13166-13166 Greeting is a subclass of expressing
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 13116-13124


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