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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LinguisticCommunication
LinguisticCommunication(linguistic communication)advised, allegorically, antiphonal, apopemptic, articulation, bit, broad, by_word_of_mouth, cast, catachrestic, catachrestical, causerie, chanted, chattily, chin-wag, chin-wagging, chin_wag, chin_wagging, chit-chat, chit_chat, chitchat, clipped, colloquial, colloquially, common, contact, conversational, conversationally, convey, couch, en_clair, explicit, expressed, fill_in, formal, frame, gab, gabfest, get_hold_of, get_through, give, gossip, impart, implicit, in_a_low_voice, inexplicit, informal, informally, informatively, instructively...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3256-3257
No TPTP formula. May not be expressible in strict first order. Merge.kif 12212-12213
No TPTP formula. May not be expressible in strict first order. Merge.kif 12211-12211 Linguistic communication is a subclass of communication

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12306-12306 Committing is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1218-1218 Corresponding is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17512-17512 Debating is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 12326-12326 Declaring is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 12262-12262 Directing is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27865-27865 Elaborating is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10769-10769 Expressing in language is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17519-17519 Negotiating is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27879-27879 Restating is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1215-1215 Speaking is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 12223-12223 Stating is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 12257-12257 Supposing is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1308-1308 TellingA lie is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1006-1006 Written communication is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34537-34537
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34536-34536
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34535-34535

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


No TPTP formula. May not be expressible in strict first order. Biography.kif 518-537
No TPTP formula. May not be expressible in strict first order. Media.kif 1826-1832
No TPTP formula. May not be expressible in strict first order. Merge.kif 12215-12221

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1834-1841
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27869-27877
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27926-27938
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27886-27894


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