No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 243-243 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 244-244 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1970-1970 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22870-22870 |
cargo e' uma sub-relacao de transported |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 244-244 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59024-59024 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59023-59023 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59022-59022 |
|