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 19365-19365 Domestic animal is disjoint from human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19366-19367
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 49-49
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19364-19364 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 19524-19524 Cow is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19413-19413 Domestic cat is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19425-19425 Domestic dog is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29988-29988 Ferret is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30006-30006 Guinea pig is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30018-30018 Hamster is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Economy.kif 4363-4363 Livestock is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19491-19491 Mule is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19510-19510 Sheep is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20115-20115
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20114-20114
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20113-20113

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


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

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2550-2559
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2485-2501
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2534-2543
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1860-1872
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29799-29802
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19383-19391
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24709-24717

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


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


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