| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13160-13160 | Declarar e' uma sub-classe de LinguisticCommunication |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 450-450 | TerminalAttackControl e' uma sub-classe de Declarar |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 502-502 | TerminalGuidance e' uma sub-classe de Declarar |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2692-2692 | SITREP e' uma sub-classe de Declarar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 882-882 | Registering e' uma sub-classe de Declarar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 894-894 | Answering e' uma sub-classe de Declarar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 906-906 | Arguing e' uma sub-classe de Declarar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16123-16123 | Pleading e' uma sub-classe de Declarar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16161-16161 | Testifying e' uma sub-classe de Declarar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29603-29603 | Apologizing e' uma sub-classe de Declarar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29622-29622 | Confirming e' uma sub-classe de Declarar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29674-29674 | Correcting e' uma sub-classe de Declarar |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13172-13172 | Disagreeing e' uma sub-classe de Declarar |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4180-4180 | Misdiagnosing e' uma sub-classe de Declarar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 125-125 | ReachingAgreement e' uma sub-classe de Declarar |
|
|