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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Fish

 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 14567-14571
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 14566-14566 鱼 是 冷血脊椎动物 的 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 14547-14547 冷血脊椎动物 分拆成不相交的 两栖动物, 鱼, 和 爬虫类

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14573-14578

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 29492-29500
No TPTP formula. May not be expressible in strict first order. Food.kif 3377-3383


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