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 |
![]() |
consequent |
![]() |
![]() |
![]() |