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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Condensing

Sigma KEE - Condensing
Condensing(condensing)
more pictures...
carbonisation, carbonization, condensate, condensation, destructive_distillation, distillation, distillment, fractional_distillation, sweat

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1428-1429
No TPTP formula. May not be expressible in strict first order. Merge.kif 13969-13970
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9953-9953
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10703-10703
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10704-10704
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10705-10705
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10706-10706
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10707-10707
No TPTP formula. May not be expressible in strict first order. Merge.kif 13968-13968 Condensing is a subclass of state change

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1229-1229
No TPTP formula. May not be expressible in strict first order. english_format.kif 1679-1679
No TPTP formula. May not be expressible in strict first order. french_format.kif 907-907
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 440-440
No TPTP formula. May not be expressible in strict first order. terms-it.txt 443-443
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2591-2591
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 859-859
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 479-479
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 928-928
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 444-444

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13979-13987
No TPTP formula. May not be expressible in strict first order. Merge.kif 13972-13977

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 2061-2067
No TPTP formula. May not be expressible in strict first order. Cars.kif 2023-2043


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