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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Meat
Meat

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


No TPTP formula. May not be expressible in strict first order. Food.kif 391-391 不相交的 Meat and Beverage
No TPTP formula. May not be expressible in strict first order. Food.kif 292-292 不相交的 Meat and FoodFromPlant
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3485-3487
No TPTP formula. May not be expressible in strict first order. Merge.kif 14877-14882
No TPTP formula. May not be expressible in strict first order. pictureList.kif 901-901
No TPTP formula. May not be expressible in strict first order. Merge.kif 14876-14876 子類 Meat and 動物物質
No TPTP formula. May not be expressible in strict first order. Food.kif 291-291 子類 Meat and Food

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20367-20367 子類 牛肉 and Meat
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20372-20372 子類 雞肉 and Meat
No TPTP formula. May not be expressible in strict first order. Food.kif 2126-2126 子類 CuredMeat and Meat
No TPTP formula. May not be expressible in strict first order. Merge.kif 15026-15026 子類 蛋 and Meat
No TPTP formula. May not be expressible in strict first order. Food.kif 2588-2588 子類 GoatMeat and Meat
No TPTP formula. May not be expressible in strict first order. Economy.kif 4952-4952 子類 羔羊肉 and Meat
No TPTP formula. May not be expressible in strict first order. Economy.kif 4957-4957 子類 羊肉 and Meat
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20374-20374 子類 豬肉 and Meat
No TPTP formula. May not be expressible in strict first order. Food.kif 2028-2028 子類 PoultryMeat and Meat
No TPTP formula. May not be expressible in strict first order. Food.kif 1921-1921 子類 海鮮 and Meat
No TPTP formula. May not be expressible in strict first order. Economy.kif 4970-4970 子類 小牛肉 and Meat
No TPTP formula. May not be expressible in strict first order. Economy.kif 4975-4975 子類 水牛肉 and Meat
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1013-1013
No TPTP formula. May not be expressible in strict first order. english_format.kif 1238-1238
No TPTP formula. May not be expressible in strict first order. french_format.kif 691-691
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 222-222
No TPTP formula. May not be expressible in strict first order. terms-it.txt 225-225
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2374-2374
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 643-643
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 227-227
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 260-260
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 712-712
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 226-226

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20353-20353 域子類 動物的肉, 1 and Meat

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4945-4950
No TPTP formula. May not be expressible in strict first order. Food.kif 1633-1639
No TPTP formula. May not be expressible in strict first order. Food.kif 1909-1915
No TPTP formula. May not be expressible in strict first order. Merge.kif 14884-14895