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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Whiskey

 Sigma KEE - Whiskey
Whiskey(威士忌酒)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Food.kif 3604-3605
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6978-6978
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8272-8272
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8273-8273
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8274-8274
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8275-8275
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31442-31442 roomTempState 威士忌酒 and 液体
No TPTP formula. May not be expressible in strict first order. Food.kif 3606-3606 威士忌酒 是 蒸馏酒精饮料 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Food.kif 2591-2591 JamesonsWhiskey 是 威士忌酒 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63003-63003
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63002-63002
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63001-63001

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


No TPTP formula. May not be expressible in strict first order. Food.kif 3617-3632
No TPTP formula. May not be expressible in strict first order. Food.kif 3608-3615


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