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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Pillow

 Sigma KEE - AquaticMammal
AquaticMammal(水生哺乳动物)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3421-3422
No TPTP formula. May not be expressible in strict first order. Merge.kif 14587-14588
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 53-53
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 50-50
No TPTP formula. May not be expressible in strict first order. pictureList.kif 938-938
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 52-52
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 55-55
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 58-58
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 51-51
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 57-57
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 59-59
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 60-60
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 54-54
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 56-56
No TPTP formula. May not be expressible in strict first order. Merge.kif 14586-14586 水生哺乳动物 是 哺乳动物 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14581-14581 哺乳动物 分拆成不相交的 水生哺乳动物, 有蹄哺乳动物, 有袋动物, 啮齿动物, 和 灵长类动物
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 991-991
No TPTP formula. May not be expressible in strict first order. english_format.kif 1189-1189
No TPTP formula. May not be expressible in strict first order. french_format.kif 668-668
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 199-199
No TPTP formula. May not be expressible in strict first order. terms-it.txt 202-202
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2352-2352
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 620-620
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 236-236
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 689-689
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 203-203


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