Covering - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3037-3038
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11491-11493
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1805-1806
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11489-11489	子類 Covering and Putting

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11469-11469	不相交的 Uncovering and Covering
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3248-3248	子類繪畫 and Covering
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13339-13339	子類 TopicalApplication and Covering
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1123-1123	子類 TopicalApplication and Covering
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1463-1463	子類 TopicalApplication and Covering
No TPTP formula. May not be expressible in strict first order.	french_format.kif 801-801	子類 TopicalApplication and Covering
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 333-333	子類 TopicalApplication and Covering
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 336-336	子類 TopicalApplication and Covering
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2485-2485	子類 TopicalApplication and Covering
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 753-753	子類 TopicalApplication and Covering
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 338-338	子類 TopicalApplication and Covering
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 372-372	子類 TopicalApplication and Covering
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 631-631	子類 TopicalApplication and Covering
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 822-822	子類 TopicalApplication and Covering
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 337-337	子類 TopicalApplication and Covering

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

WMD.kif 507-507

路易氏劑 biochemical 病毒解毒製劑二巰基丙醇對於 Covering

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 15988-15995

例 Process and Covering 患者 Process and Entity 儀器 Process and Object
持有期間眼前的未來何時 Process and covers Object and Entity

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3235-3246	例 Process and 摺頁患者 Process and Object Process Object and Object 例 Process and Covering 子過程 Process and Process 部分 Object and Object 部分 Object and Object 儀器 Process and Object 患者 Process and Object
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1315-1317	DiseaseOrSyndrome 是對於 Process 的 disease 治癒外用抗生素子類 Process and Covering
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6239-6247	例 Physical and 繃帶有目的 Physical and entity entity 例 entity and TherapeuticProcess 例 entity and Covering 子過程 entity and entity 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19087-19094	例 Process and 掩埋 Process Object 例 Process and Covering 儀器 Process and Object 例 Object and 泥子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13055-13057	例 Object and 眼皮能力 Covering, 儀器 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13059-13072	例 Physical and 眼皮有目的 Physical and PhysicalYE entity and entity 例 entity and Covering 例 entity and BodyMotion 例 entity and Human 體驗者 entity and entity 儀器 entity and Physical 患者 entity and PhysicalYE 例 PhysicalYE and 眼睛部分 PhysicalYE and entity 部分 Physical and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4077-4083	例 Physical and 蓋子有目的 Physical and entity 例 entity and Covering 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3197-3207	例 Physical and 牆紙有目的 Physical and entity entity and entity 例 entity and 壁部分 entity and entity 例 entity and Room 例 entity and Covering 患者 entity and entity 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3328-3339	例 Physical and 繪畫裝置有目的 Physical and entity entity, entity and entity 例 entity and Substance 例 entity and Covering 例 entity and Object 表面 entity and entity agent entity and Physical 儀器 entity and entity 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3572-3585	例 Physical and 防護眼鏡有目的 Physical and PhysicalRSON entity, entity and entity 例 PhysicalRSON and Animal 例 entity and 面對例 entity and 眼睛適當的部分 entity and entity 適當的部分 entity and PhysicalRSON 穿 PhysicalRSON and Physical 例 entity and Covering agent entity and Physical 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5898-5906	例 Physical and 地毯有目的 Physical and entity entity 例 entity and Covering 儀器 entity and Physical 患者 entity and entity 例 entity and 地板
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16145-16153	例 Physical and 窗簾有目的 Physical and entity entity 例 entity and Covering 患者 entity and entity 例 entity and 窗口儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4197-4205	例 Physical and BedLinen 有目的 Physical and entity entity 例 entity and Covering 患者 entity and entity 例 entity and 床儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30845-30854	子類 Physical and 對於 BodyPart 的 covering 有目的 Physical and entity BodyPartI and PhysicalI 例 entity and Covering 例 BodyPartI and BodyPart 例 PhysicalI and Physical 目的地 entity and BodyPartI 患者 entity and PhysicalI

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

KB Term:			Term intersection

English Word: