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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 17806-17806 Domestic animal is disjoint from human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17807-17808
No TPTP formula. May not be expressible in strict first order. pictureList.kif 949-949
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 50-50
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17805-17805 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 17968-17968 Cow is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17856-17856 Domestic cat is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17867-17867 Domestic dog is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28763-28763 Ferret is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28781-28781 Guinea pig is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28793-28793 Hamster is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Economy.kif 4210-4210 Livestock is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17935-17935 Mule is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17954-17954 Sheep is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20122-20122
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20121-20121
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20120-20120

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17810-17817

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2537-2546
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2472-2488
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2521-2530
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1842-1854
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28574-28577
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17823-17831
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23287-23295

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17819-17819 Fodder is a subclass of food for domestic animal


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



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