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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BreadOrBiscuit
BreadOrBiscuit(麵包或餅乾)

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


No TPTP formula. May not be expressible in strict first order. Food.kif 1557-1560
No TPTP formula. May not be expressible in strict first order. Food.kif 1555-1555 子類 麵包或餅乾 and 已準備食物

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


No TPTP formula. May not be expressible in strict first order. Food.kif 2143-2143 子類 Bagel and 麵包或餅乾
No TPTP formula. May not be expressible in strict first order. Food.kif 2715-2715 子類 Pancake and 麵包或餅乾
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11879-11879
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11878-11878
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11877-11877
No TPTP formula. May not be expressible in strict first order. Food.kif 1556-1556 WheatFlour typically麵包或餅乾part

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


No TPTP formula. May not be expressible in strict first order. Food.kif 1731-1746
No TPTP formula. May not be expressible in strict first order. Food.kif 1566-1573
No TPTP formula. May not be expressible in strict first order. Food.kif 1562-1564

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


No TPTP formula. May not be expressible in strict first order. Food.kif 1584-1597


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