TreeView 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 11438-11440
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 11436-11436	子類 Covering and Putting

appearance as argument number 2

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

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.

Mid-level-ontology.kif 29746-29753

例 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 3169-3180	例 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 5689-5697	例 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 17997-18004	例 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 12158-12160	例 Object and 眼皮能力 Covering, 儀器 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12162-12175	例 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 4011-4017	例 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 3131-3141	例 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 3262-3273	例 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 3519-3532	例 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 5348-5356	例 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 15216-15224	例 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 4131-4139	例 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 29718-29727	子類 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 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

KB Term:			Term intersection

English Word: