No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3170-3170 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3169-3169 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3168-3168 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18238-18238 |
DeadOrMissingBodyPartFn est reli� � l'int�rieur de SUMO � DeadFn |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20036-20036 |
Fodder est reli� � l'int�rieur de SUMO � DeadFn |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5248-5248 |
OrganicObjectFn est reli� � l'int�rieur de SUMO � DeadFn |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4186-4186 |
Produce est reli� � l'int�rieur de SUMO � DeadFn |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6407-6407 |
SheddingPart est reli� � l'int�rieur de SUMO � DeadFn |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64745-64745 |
|