No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10132-10132 |
Biological process is a subclass of internal change |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12503-12503 |
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 12784-12784 |
Creation is a subclass of internal change |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12270-12270 |
Damaging is a subclass of internal change |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11190-11190 |
Geological process is a subclass of internal change |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10872-10872 |
Quantity change is a subclass of internal change |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12652-12652 |
Shape change is a subclass of internal change |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13752-13752 |
State change is a subclass of internal change |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12612-12612 |
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 |
|