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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Wetting
Wetting(mouiller)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3211-3212
No TPTP formula. May not be expressible in strict first order. Merge.kif 12794-12795
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8268-8268
No TPTP formula. May not be expressible in strict first order. Merge.kif 12793-12793 Mouiller est une sous-classe de mettre

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26555-26555 Soaking est une sous-classe de mouiller
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1182-1182
No TPTP formula. May not be expressible in strict first order. english_format.kif 1581-1581
No TPTP formula. May not be expressible in strict first order. french_format.kif 860-860
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 392-392
No TPTP formula. May not be expressible in strict first order. terms-it.txt 395-395
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2544-2544
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 812-812
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 397-397
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 431-431
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 881-881
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 396-396

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12812-12817
No TPTP formula. May not be expressible in strict first order. Merge.kif 12797-12810


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