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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Uncovering

 Sigma KEE - Uncovering
Uncovering

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11394-11394 不相交的 Uncovering and Covering
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3033-3034
No TPTP formula. May not be expressible in strict first order. Merge.kif 11396-11397
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1801-1802
No TPTP formula. May not be expressible in strict first order. Merge.kif 11393-11393 子類 Uncovering and Removing

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5533-5533 子類 脫衣服 and Uncovering
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1121-1121
No TPTP formula. May not be expressible in strict first order. english_format.kif 1459-1459
No TPTP formula. May not be expressible in strict first order. french_format.kif 799-799
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 331-331
No TPTP formula. May not be expressible in strict first order. terms-it.txt 334-334
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2483-2483
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 751-751
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 336-336
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 370-370
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 820-820
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 335-335


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