No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10154-10154 |
Biological process is a subclass of internal change |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12525-12525 |
Chemical process is a subclass of internal change |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 153-153 |
Computer process is a subclass of internal change |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12806-12806 |
Creation is a subclass of internal change |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12292-12292 |
Damaging is a subclass of internal change |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11212-11212 |
Geological process is a subclass of internal change |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10894-10894 |
Quantity change is a subclass of internal change |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12674-12674 |
Shape change is a subclass of internal change |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13774-13774 |
State change is a subclass of internal change |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12634-12634 |
Surface change is a subclass of internal change |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4952-4952 |
Tidal process is a subclass of internal change |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1065-1065 |
Turning off device is a subclass of internal change |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1089-1089 |
Turning on device is a subclass of internal change |
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 |
|