No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13082-13082 |
O conceito Communicacao e' completamente decomposto em Declarar, Supposing, Dirigir, Comprometer-se, Exprimir, + Declarar |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 887-887 |
Answering e' uma sub-classe de Declarar |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29666-29666 |
Apologizing e' uma sub-classe de Declarar |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 899-899 |
Arguing e' uma sub-classe de Declarar |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29685-29685 |
Confirming e' uma sub-classe de Declarar |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29737-29737 |
Correcting e' uma sub-classe de Declarar |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13196-13196 |
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. |
Mid-level-ontology.kif 16151-16151 |
Pleading 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 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 875-875 |
Registering 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. |
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. |
Mid-level-ontology.kif 16189-16189 |
Testifying e' uma sub-classe de Declarar |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1198-1198 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1613-1613 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 876-876 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 409-409 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 412-412 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2560-2560 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 828-828 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 414-414 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 448-448 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |