No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13036-13036 |
Communication est compl�tement d�compos� en d�clarer, Supposing, diriger, investir, exprimer, + d�clarer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 894-894 |
Answering est une sous-classe de d�clarer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29615-29615 |
Apologizing est une sous-classe de d�clarer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 906-906 |
Arguing est une sous-classe de d�clarer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29634-29634 |
Confirming est une sous-classe de d�clarer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29686-29686 |
Correcting est une sous-classe de d�clarer |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13150-13150 |
Disagreeing est une sous-classe de d�clarer |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4180-4180 |
Misdiagnosing est une sous-classe de d�clarer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16124-16124 |
Pleading est une sous-classe de d�clarer |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 125-125 |
ReachingAgreement est une sous-classe de d�clarer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 882-882 |
Registering est une sous-classe de d�clarer |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2692-2692 |
SITREP est une sous-classe de d�clarer |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 450-450 |
TerminalAttackControl est une sous-classe de d�clarer |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 502-502 |
TerminalGuidance est une sous-classe de d�clarer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16162-16162 |
Testifying est une sous-classe de d�clarer |
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 |