No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10154-10154 |
子類 BiologicalProcess and InternalChange |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12525-12525 |
子類 ChemicalProcess and InternalChange |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 153-153 |
子類 電腦程序 and InternalChange |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12806-12806 |
子類 Creation and InternalChange |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12292-12292 |
子類 Damaging and InternalChange |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11212-11212 |
子類 地質過程 and InternalChange |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10894-10894 |
子類 QuantityChange and InternalChange |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12674-12674 |
子類 ShapeChange and InternalChange |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13774-13774 |
子類 StateChange and InternalChange |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12634-12634 |
子類 SurfaceChange and InternalChange |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4952-4952 |
子類 潮汐過程 and InternalChange |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1065-1065 |
子類 關掉設備 and InternalChange |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1089-1089 |
子類 打開設備 and InternalChange |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1173-1173 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1563-1563 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 851-851 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 383-383 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 386-386 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2535-2535 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 803-803 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 422-422 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 872-872 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 387-387 |
|