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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DomesticDog

 Sigma KEE - DomesticDog
DomesticDog(家養的狗)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20096-20097
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. Mid-level-ontology.kif 20095-20095 子類 家養的狗 and Canine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20094-20094 子類 家養的狗 and 家畜

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20122-20122 子類 Dachshund and 家養的狗
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20106-20106 子類 Poodle and 家養的狗
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20099-20099 子類 Puppy and 家養的狗
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20115-20115 子類 Sheepdog and 家養的狗
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20136-20136
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20135-20135
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20134-20134


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