No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10168-10168 |
Processo Biologico e' uma sub-classe de Mudanca Interna |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12549-12549 |
Processo Quimico e' uma sub-classe de Mudanca Interna |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 153-153 |
ComputerProcess e' uma sub-classe de Mudanca Interna |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12830-12830 |
Criacao e' uma sub-classe de Mudanca Interna |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12316-12316 |
Causar Dano e' uma sub-classe de Mudanca Interna |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11224-11224 |
GeologicalProcess e' uma sub-classe de Mudanca Interna |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10906-10906 |
Modificacao de Quantidade e' uma sub-classe de Mudanca Interna |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12698-12698 |
Mudanca de Forma e' uma sub-classe de Mudanca Interna |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13798-13798 |
Mudanca de Estado e' uma sub-classe de Mudanca Interna |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12658-12658 |
Mudanca Superficial e' uma sub-classe de Mudanca Interna |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4952-4952 |
TidalProcess e' uma sub-classe de Mudanca Interna |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1058-1058 |
TurningOffDevice e' uma sub-classe de Mudanca Interna |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1082-1082 |
TurningOnDevice e' uma sub-classe de Mudanca Interna |
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 |
|