|
|
   AnaerobicExerciseDevice
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8233-8233 | 无氧运动装置 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8234-8235 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10406-10406 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10407-10407 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10405-10405 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10408-10408 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9885-9885 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8232-8232 | 无氧运动装置 是 娱乐或运动器材 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2391-2391 | Toy 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7362-7362 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7361-7361 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7360-7360 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 796-805 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26769-26777 |
|
|
|
