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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LinguisticCommunication

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 13127-13128
No TPTP formula. May not be expressible in strict first order. Merge.kif 13126-13126 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 13221-13221 Committing is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 829-829 Corresponding is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19703-19703 Debating is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 13241-13241 Declaring is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 13177-13177 Directing is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29655-29655 Elaborating is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13134-13134 Expressing in language is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19710-19710 Negotiating is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29669-29669 Restating is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 826-826 Speaking is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 13138-13138 Stating is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 13172-13172 Supposing is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 918-918 TellingA lie is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 780-780 Written communication is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34547-34547
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34546-34546
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34545-34545

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


No TPTP formula. May not be expressible in strict first order. Biography.kif 757-776
No TPTP formula. May not be expressible in strict first order. Media.kif 1836-1842
No TPTP formula. May not be expressible in strict first order. Merge.kif 13130-13136

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1844-1851
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29659-29667
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29710-29722
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29676-29684


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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