No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8255-8255 |
AerobicExerciseDevice est une sous-classe de RecreationOrExerciseDevice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8259-8259 |
AnaerobicExerciseDevice est une sous-classe de RecreationOrExerciseDevice |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49018-49018 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49017-49017 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49016-49016 |
|