No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10895-10895 |
O conceito Modificacao de Quantidade e' completamente decomposto em Aumentar + Diminuir |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17138-17138 |
Accelerating e' uma sub-classe de Aumentar |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6452-6452 |
Bloating e' uma sub-classe de Aumentar |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10936-10936 |
Aquecer e' uma sub-classe de Aumentar |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12385-12385 |
Inflammation e' uma sub-classe de Aumentar |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3609-3609 |
Inflating e' uma sub-classe de Aumentar |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23801-23801 |
Lengthening e' uma sub-classe de Aumentar |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1433-1433 |
Proliferation e' uma sub-classe de Aumentar |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23821-23821 |
Saving e' uma sub-classe de Aumentar |
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 |
|