TreeView Knowledge Base Browser - SolMixture

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - SolMixture

SolMixture(溶膠)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21624-21625
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21626-21626	子類溶膠 and 膠體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21627-21627	子類溶膠 and 液體混合物

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21628-21628	子類 Blood and 溶膠
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3198-3198	子類塗料 and 溶膠
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53900-53900
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53899-53899
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53898-53898

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