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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Solution
Solution(Solucao)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3460-3462
No TPTP formula. May not be expressible in strict first order. Merge.kif 14746-14750
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2524-2524
No TPTP formula. May not be expressible in strict first order. Merge.kif 14745-14745 Solucao e' uma sub-classe de LiquidMixture

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14732-14732 O conceito LiquidMixture e' completamente decomposto em Solucao + Suspension
No TPTP formula. May not be expressible in strict first order. Cars.kif 1214-1214 Antifreeze e' uma sub-classe de Solucao
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1715-1715 DieselFuel e' uma sub-classe de Solucao
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1710-1710 Gasoline e' uma sub-classe de Solucao
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8769-8769 SalineSolution e' uma sub-classe de Solucao
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 829-829
No TPTP formula. May not be expressible in strict first order. english_format.kif 860-860
No TPTP formula. May not be expressible in strict first order. french_format.kif 505-505
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 37-37
No TPTP formula. May not be expressible in strict first order. terms-it.txt 40-40
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2190-2190
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 457-457
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 42-42
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 72-72
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 526-526
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 41-41

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3300-3300 O argumento numero 1 de potentialOfHydrogen e' uma instancia de Solucao

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17582-17584

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21596-21601
No TPTP formula. May not be expressible in strict first order. Geography.kif 7380-7392
No TPTP formula. May not be expressible in strict first order. Geography.kif 7352-7363
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19617-19623
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19601-19611
No TPTP formula. May not be expressible in strict first order. Cars.kif 922-936


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