|
|
   Toy
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2383-2383 | Toy e' disjunto de AerobicExerciseDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2384-2384 | Toy e' disjunto de AnaerobicExerciseDevice |
| 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 e' uma sub-classe de Aparelho |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2386-2386 | Doll e' uma sub-classe de Toy |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2420-2420 | ToyHouse e' uma sub-classe de Toy |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2381-2381 |
|
|
|