| Toy | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2383-2383 | 不相交的 Toy and 有氧運動裝置 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2384-2384 | 不相交的 Toy and 無氧運動裝置 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2379-2380 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2378-2378 | 子類 Toy and Device |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2386-2386 | 子類 Doll and Toy |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2420-2420 | 子類 ToyHouse and Toy |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2381-2381 |
|
|
|