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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Drying
Drying(drying)blot, blow-dry, condense, dehumidify, dehydrate, desiccate, drip-dry, dry, dry_out, dry_up, effloresce, evaporate, exsiccate, freeze-dry, lyophilise, lyophilize, mummify, parch, rough-dry, scorch, sear, spin-dry, spray-dry, squeeze_out, tumble, tumble_dry, vaporise, vaporize, wring_out

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3213-3214
No TPTP formula. May not be expressible in strict first order. Merge.kif 12928-12929
No TPTP formula. May not be expressible in strict first order. Merge.kif 12927-12927 Drying is a subclass of removing

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


No TPTP formula. May not be expressible in strict first order. Food.kif 77-77 Curing food is a subclass of drying
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1183-1183 Curing food is a subclass of drying
No TPTP formula. May not be expressible in strict first order. english_format.kif 1583-1583 Curing food is a subclass of drying
No TPTP formula. May not be expressible in strict first order. french_format.kif 861-861 Curing food is a subclass of drying
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 393-393 Curing food is a subclass of drying
No TPTP formula. May not be expressible in strict first order. terms-it.txt 396-396 Curing food is a subclass of drying
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2545-2545 Curing food is a subclass of drying
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 813-813 Curing food is a subclass of drying
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 398-398 Curing food is a subclass of drying
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 432-432 Curing food is a subclass of drying
No TPTP formula. May not be expressible in strict first order. terms-de.txt 691-691 Curing food is a subclass of drying
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 882-882 Curing food is a subclass of drying
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 397-397 Curing food is a subclass of drying

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12931-12936

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


No TPTP formula. May not be expressible in strict first order. Food.kif 96-105
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27030-27036
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27048-27056
No TPTP formula. May not be expressible in strict first order. Food.kif 3332-3339
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1796-1813
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6303-6309
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6299-6301


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