| 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. | 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 16124-16124 | Pleading is a subclass of stating |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16162-16162 | Testifying is a subclass of stating |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29615-29615 | Apologizing is a subclass of stating |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29634-29634 | Confirming is a subclass of stating |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29686-29686 | Correcting is a subclass of stating |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13150-13150 | 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 |
|
|