| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12211-12211 | Linguistic communication is a subclass of communication |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 725-725 | Written communication is a subclass of linguistic communication |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 770-770 | Speaking is a subclass of linguistic communication |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 773-773 | Corresponding is a subclass of linguistic communication |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 861-861 | TellingA lie is a subclass of linguistic communication |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9928-9928 | Expressing in language is a subclass of linguistic communication |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16241-16241 | Debating is a subclass of linguistic communication |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16248-16248 | Negotiating is a subclass of linguistic communication |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25889-25889 | Elaborating is a subclass of linguistic communication |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25903-25903 | Restating 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. | Merge.kif 12262-12262 | Directing is a subclass of linguistic communication |
| 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. | Merge.kif 12326-12326 | Declaring is a subclass of linguistic communication |
|
|