No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8227-8227 |
AerobicExerciseDevice e' uma sub-classe de RecreationOrExerciseDevice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8231-8231 |
AnaerobicExerciseDevice e' uma sub-classe de RecreationOrExerciseDevice |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49016-49016 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49015-49015 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49014-49014 |
|