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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Distilling

Sigma KEE - Distilling
Distilling(蒸馏)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 5698-5713
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4658-4658
No TPTP formula. May not be expressible in strict first order. Economy.kif 5696-5696 蒸馏分开subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19956-19956
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19955-19955
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19954-19954

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


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

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


No TPTP formula. May not be expressible in strict first order. Food.kif 3638-3645
No TPTP formula. May not be expressible in strict first order. Food.kif 3339-3346
No TPTP formula. May not be expressible in strict first order. Food.kif 3368-3375
No TPTP formula. May not be expressible in strict first order. Food.kif 3495-3502
No TPTP formula. May not be expressible in strict first order. Food.kif 3595-3602
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