No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10907-10907 |
Quantity change is exhaustively partitioned into increasing and decreasing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17166-17166 |
Accelerating is a subclass of increasing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6447-6447 |
Bloating is a subclass of increasing |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10948-10948 |
Heating is a subclass of increasing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12413-12413 |
Inflammation is a subclass of increasing |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3586-3586 |
Inflating is a subclass of increasing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23859-23859 |
Lengthening is a subclass of increasing |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1433-1433 |
Proliferation is a subclass of increasing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23879-23879 |
Saving is a subclass of increasing |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1109-1109 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1435-1435 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 787-787 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 319-319 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 322-322 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2471-2471 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 739-739 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 324-324 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 358-358 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 808-808 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 323-323 |
|