No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 696-696 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 695-695 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 694-694 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23323-23323 |
alias e' uma sub-relacao de deceptiveIdentifier |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18816-18816 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18815-18815 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18814-18814 |
|