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 12791-12791 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 12971-12976
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2670-2670
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12790-12790 Expressing is exhaustively partitioned into gesture and expressing in language
No TPTP formula. May not be expressible in strict first order. Merge.kif 12970-12970 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 12793-12793 Expressing approval is a subclass of expressing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12806-12806 Expressing disapproval is a subclass of expressing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12831-12831 Expressing farewell is a subclass of expressing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12980-12980 Expressing in language is a subclass of expressing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13013-13013 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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12978-12986


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