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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PotOrPan

 Sigma KEE - PotOrPan
PotOrPan(锅或杅)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2350-2351
No TPTP formula. May not be expressible in strict first order. pictureList.kif 119-119
No TPTP formula. May not be expressible in strict first order. pictureList.kif 153-153
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2349-2349 锅或杅 是 容器 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Food.kif 907-907 Aeropress 是 锅或杅 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 871-871 FrenchPressPot 是 锅或杅 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 940-940 MokaPot 是 锅或杅 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46904-46904
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46903-46903
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46902-46902

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2353-2359


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