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, domestic_animal, farm_animal, head, livestock, pet, stock, strain

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


No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 1184-1184 The maximum expected height of domestic animal is 5.5 foot length(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 1186-1186 The maximum expected value of domestic animal is 600 pound mass(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 1183-1183 The minimum expected height of domestic animal is 0.5 foot length(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 1185-1185 The minimum expected value of domestic animal is 3 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17415-17415 Domestic animal is disjoint from human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17416-17417
No TPTP formula. May not be expressible in strict first order. pictureList.kif 949-949 "http://upload.wikimedia.org/wikipedia/commons/2/2f/ Rabbit_%28agouti%29_02.jpg" is a URL depicting domestic animal
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 50-50 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 2b/ Livestock_7_lamb.jpg/ 200px-Livestock_7_lamb.jpg" is a URL depicting domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17414-17414 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 17577-17577 Cow is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17465-17465 Domestic cat is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17476-17476 Domestic dog is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28281-28281 Ferret is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28299-28299 Guinea pig is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28311-28311 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 17544-17544 Mule is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17563-17563 Sheep is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3775-3775 "domestic animal" is the printable form of domestic animal in english language

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


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

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2518-2527
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2453-2469
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2502-2511
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1789-1801
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28092-28095
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17432-17440
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22851-22859

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17428-17428 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners