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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RawAttribute
RawAttribute(生食)

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


No TPTP formula. May not be expressible in strict first order. Food.kif 47-48
No TPTP formula. May not be expressible in strict first order. pictureList.kif 911-911
No TPTP formula. May not be expressible in strict first order. Food.kif 46-46 例 生食 and PreparedFoodAttribute

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


No TPTP formula. May not be expressible in strict first order. Food.kif 31-31 相關的內部概念 CookedAttribute and 生食
No TPTP formula. May not be expressible in strict first order. Food.kif 65-65 相關的內部概念 CuredAttribute and 生食
No TPTP formula. May not be expressible in strict first order. Food.kif 206-206 相關的內部概念 FermentedAttribute and 生食
No TPTP formula. May not be expressible in strict first order. Food.kif 155-155 相關的內部概念 HulledAttribute and 生食
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48818-48818
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48817-48817
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48816-48816
No TPTP formula. May not be expressible in strict first order. Food.kif 49-49

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


No TPTP formula. May not be expressible in strict first order. Food.kif 51-53
No TPTP formula. May not be expressible in strict first order. Food.kif 55-61

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


No TPTP formula. May not be expressible in strict first order. Food.kif 1605-1607
No TPTP formula. May not be expressible in strict first order. Food.kif 1485-1487


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