No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13082-13082 |
沟通 详尽无遗地 partition 成 陈述, 假如, 指令g, 承诺, 表示, 和 声明 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 887-887 |
回答中 是 陈述 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29666-29666 |
Apologizing 是 陈述 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 899-899 |
争论 是 陈述 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29685-29685 |
Confirming 是 陈述 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29737-29737 |
Correcting 是 陈述 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13196-13196 |
不同意 是 陈述 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4180-4180 |
Misdiagnosing 是 陈述 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16151-16151 |
恳求 是 陈述 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 125-125 |
ReachingAgreement 是 陈述 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 875-875 |
注册 是 陈述 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2692-2692 |
SITREP 是 陈述 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 450-450 |
终端攻击控制 是 陈述 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 502-502 |
终端指导 是 陈述 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16189-16189 |
作证 是 陈述 的 subclass |
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 |