Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  DomesticAnimal

Sigma KEE - DomesticAnimal
DomesticAnimal(domestic animal)
breed, farm_animal, head, livestock, pet, stock, strain

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20018-20018 Domestic animal is disjoint from human
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 Domestic animal is a subclass of animal

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20193-20193 Cattle is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20082-20082 Domestic cat is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20094-20094 Domestic dog is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30586-30586 Ferret is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30604-30604 Guinea pig is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30616-30616 Hamster is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Economy.kif 4887-4887 Livestock is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20160-20160 Mule is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20179-20179 Sheep is a subclass of domestic animal
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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners