| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13160-13160 | Stating is a subclass of linguistic communication |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 450-450 | Terminal attack control is a subclass of stating |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 502-502 | Terminal guidance is a subclass of stating |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2692-2692 | SITuation REPort is a subclass of stating |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 882-882 | Registering is a subclass of stating |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 894-894 | Answering is a subclass of stating |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 906-906 | Arguing is a subclass of stating |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16123-16123 | Pleading is a subclass of stating |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16161-16161 | Testifying is a subclass of stating |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29603-29603 | Apologizing is a subclass of stating |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29622-29622 | Confirming is a subclass of stating |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29674-29674 | Correcting is a subclass of stating |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13172-13172 | Disagreeing is a subclass of stating |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4180-4180 | Misdiagnosing is a subclass of stating |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 125-125 | Reaching agreement is a subclass of stating |
|
|