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 12971-12971 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 13155-13160
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 12970-12970 Expressing is exhaustively partitioned into gesture and expressing in language
No TPTP formula. May not be expressible in strict first order. Merge.kif 13154-13154 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 12973-12973 Expressing approval is a subclass of expressing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12986-12986 Expressing disapproval is a subclass of expressing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13011-13011 Expressing farewell is a subclass of expressing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13160-13160 Expressing in language is a subclass of expressing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13193-13193 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 13162-13170


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