TreeView Knowledge Base Browser - Wetting

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Wetting

Wetting(Molhar)

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 12770-12771
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 12769-12769	Molhar e' uma sub-classe de Colocar

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26510-26510	Soaking e' uma sub-classe de Molhar
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 12788-12793	Processo e' uma instancia de Molhar Objeto Liquid e' um atributo de Objeto Objeto e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12773-12786	Processo e' uma instancia de Molhar Entidade Entidade e' um patient de Processo Damp e' um atributo de Entidade vale durante o comeco de tempo de existencia de Processo Damp e' um atributo de Entidade vale durante o fim de tempo de existencia de Processo

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