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 13281-13282
No TPTP formula. May not be expressible in strict first order. Merge.kif 13280-13280 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 13375-13375 Committing is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 822-822 Corresponding is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21274-21274 Debating is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 13395-13395 Declaring is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 13331-13331 Directing is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31574-31574 Elaborating is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14465-14465 Expressing in language is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21281-21281 Negotiating is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31588-31588 Restating is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 819-819 Speaking is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 13292-13292 Stating is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 13326-13326 Supposing is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 911-911 Telling a lie is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 773-773 Written communication is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34558-34558 Written communication is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34557-34557 Written communication is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34556-34556 Written communication is a subclass of linguistic communication

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


No TPTP formula. May not be expressible in strict first order. Biography.kif 765-784
No TPTP formula. May not be expressible in strict first order. Media.kif 1838-1844
No TPTP formula. May not be expressible in strict first order. Merge.kif 13284-13290

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1846-1853
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31578-31586
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31629-31641
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31595-31603


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