No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2261-2261 |
Relacao Simetrica e' disjunto de Relacao Anti-simetrica |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3258-3258 |
keyName e' uma instancia de Relacao Anti-simetrica |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23429-23429 |
legalGuardian e' uma instancia de Relacao Anti-simetrica |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4071-4071 |
located e' uma instancia de Relacao Anti-simetrica |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14375-14375 |
stored e' uma instancia de Relacao Anti-simetrica |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24442-24442 |
subString e' uma instancia de Relacao Anti-simetrica |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2275-2275 |
Relacao Assimetrica e' uma sub-classe de Relacao Anti-simetrica |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2366-2366 |
Relacao parcialmente Ordenada e' uma sub-classe de Relacao Anti-simetrica |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 897-897 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 996-996 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 573-573 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 103-103 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 106-106 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2258-2258 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 525-525 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 140-140 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 594-594 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 107-107 |
|