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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Drying
Drying(s�cher)

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 12820-12821
No TPTP formula. May not be expressible in strict first order. Merge.kif 12819-12819 S�cher est une sous-classe de supprimer

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


No TPTP formula. May not be expressible in strict first order. Food.kif 77-77 CuringFood est une sous-classe de s�cher
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1183-1183
No TPTP formula. May not be expressible in strict first order. english_format.kif 1583-1583
No TPTP formula. May not be expressible in strict first order. french_format.kif 861-861
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 393-393
No TPTP formula. May not be expressible in strict first order. terms-it.txt 396-396
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2545-2545
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 813-813
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 398-398
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 432-432
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 882-882
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 397-397

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12823-12828

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 25425-25431
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25443-25451
No TPTP formula. May not be expressible in strict first order. Food.kif 3325-3332
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1785-1802
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5360-5366
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5356-5358


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