Uncovering - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11394-11394	Uncovering is disjoint from 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 is a subclass of removing

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5533-5533	Removing clothing is a subclass of 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