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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Fish
Fish(鱼)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3417-3418
No TPTP formula. May not be expressible in strict first order. Merge.kif 14589-14593
No TPTP formula. May not be expressible in strict first order. pictureList.kif 433-433
No TPTP formula. May not be expressible in strict first order. pictureList.kif 93-93
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 260-260
No TPTP formula. May not be expressible in strict first order. Merge.kif 14588-14588 鱼 是 冷血脊椎动物 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Food.kif 1941-1941 鱼肉 是 鱼 的 meat
No TPTP formula. May not be expressible in strict first order. Food.kif 2535-2535 Cod 是 鱼 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4926-4926 观赏鱼 是 鱼 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 2536-2536 鲑鱼 是 鱼 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 3403-3403 Skate 是 鱼 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 3518-3518 Tuna 是 鱼 的 subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 989-989
No TPTP formula. May not be expressible in strict first order. english_format.kif 1185-1185
No TPTP formula. May not be expressible in strict first order. french_format.kif 666-666
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 197-197
No TPTP formula. May not be expressible in strict first order. terms-it.txt 200-200
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2350-2350
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 618-618
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 202-202
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 234-234
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 687-687
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 201-201

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 14569-14569 冷血脊椎动物 分拆成不相交的 两栖动物, 鱼, 和 爬虫类

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14595-14600

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2708-2713
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29480-29488
No TPTP formula. May not be expressible in strict first order. Food.kif 3377-3383


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 3.0 is open source software produced by Articulate Software and its partners