| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13280-13280 | Linguistic communication is a subclass of 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. | Mid-level-ontology.kif 819-819 | Speaking 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 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 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 21274-21274 | Debating 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 31574-31574 | Elaborating 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. | 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. | Merge.kif 13331-13331 | Directing is a subclass of linguistic communication |
| 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. | Merge.kif 13395-13395 | Declaring is a subclass of linguistic communication |
|
|