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 20123-20124
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 20122-20122 DomesticDog e' uma sub-classe de Canino
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20121-20121 DomesticDog e' uma sub-classe de DomesticAnimal

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20149-20149 Dachshund e' uma sub-classe de DomesticDog
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20133-20133 Poodle e' uma sub-classe de DomesticDog
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20126-20126 Puppy e' uma sub-classe de DomesticDog
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20142-20142 Sheepdog e' uma sub-classe de DomesticDog
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