DomesticAnimal
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20017-20017 | DomesticAnimal e' disjunto de Humano |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20018-20019 | |
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 20016-20016 | DomesticAnimal e' uma sub-classe de Animal |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20192-20192 | Cattle e' uma sub-classe de DomesticAnimal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20081-20081 | DomesticCat e' uma sub-classe de DomesticAnimal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20093-20093 | DomesticDog e' uma sub-classe de DomesticAnimal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30574-30574 | Ferret e' uma sub-classe de DomesticAnimal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30592-30592 | GuineaPig e' uma sub-classe de DomesticAnimal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30604-30604 | Hamster e' uma sub-classe de DomesticAnimal |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4887-4887 | Livestock e' uma sub-classe de DomesticAnimal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20159-20159 | Mule e' uma sub-classe de DomesticAnimal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20178-20178 | Sheep e' uma sub-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 20021-20028 |
|
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 20051-20059 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20040-20049 | |
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 30385-30388 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25352-25360 |