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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Reindeer

Sigma KEE - Reindeer
Reindeer(馴鹿)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30512-30512 馴鹿 的預期 value測量 300.0 and 磅質量
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30496-30510
No TPTP formula. May not be expressible in strict first order. pictureList.kif 689-689
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30516-30516 馴鹿 inhabits 亞洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30515-30515 馴鹿 inhabits 歐洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30517-30517 馴鹿 inhabits 北美
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30513-30513 屬性 馴鹿 and VulnerableSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30514-30514 子類 馴鹿 and 鹿
No TPTP formula. May not be expressible in strict first order. Economy.kif 4909-4909 子類 馴鹿 and HoofedMammal

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49292-49292
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49291-49291
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49290-49290


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