|
|
   DomesticAnimal
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20018-20018 | DomesticAnimal est disjoint de humain |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20019-20020 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 948-948 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 49-49 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20017-20017 | DomesticAnimal est une sous-classe de animal |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20193-20193 | Cattle est une sous-classe de DomesticAnimal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20082-20082 | DomesticCat est une sous-classe de DomesticAnimal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20094-20094 | DomesticDog est une sous-classe de DomesticAnimal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30586-30586 | Ferret est une sous-classe de DomesticAnimal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30604-30604 | GuineaPig est une sous-classe de DomesticAnimal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30616-30616 | Hamster est une sous-classe de DomesticAnimal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4887-4887 | Livestock est une sous-classe de DomesticAnimal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20160-20160 | Mule est une sous-classe de DomesticAnimal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20179-20179 | Sheep est une sous-classe de DomesticAnimal |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20124-20124 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20123-20123 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20122-20122 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20022-20029 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2577-2586 |
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2512-2528 |
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2561-2570 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1852-1864 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20052-20060 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20041-20050 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4809-4818 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30397-30400 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25353-25361 |
|
|
|
