TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2857-2862
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9875-9886
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1601-1609
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 500-500
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9873-9873	子類 HoleRegion and Region

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4691-4691	例南三明治溝 and HoleRegion
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3659-3659	子類 ATM插槽 and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12046-12046	子類 BodyOrifice and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6027-6027	子類地洞 and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6012-6012	子類洞穴 and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 324-324	子類 Crankcase and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6141-6141	子類 Glottis and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Sports.kif 959-959	子類高爾夫球洞 and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 311-311	子類 InternalCombustionChamber and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12120-12120	子類 Pupil and HoleRegion
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 944-944
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1095-1095
No TPTP formula. May not be expressible in strict first order.	french_format.kif 620-620
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 151-151
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 154-154
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 572-572
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 156-156
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 188-188
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 641-641
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 155-155

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9949-9949	域洞主持人, 1 and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10090-10090	域洞皮, 1 and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1538-1538	域 cylinderBore, 1 and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10046-10046	域填充, 2 and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 994-994	域 hole, 1 and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10000-10000	域部分填補, 2 and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1003-1003	域適當填充, 2 and HoleRegion

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1541-1549	cylinderBore HoleRegion and LengthMeasure 例 HoleRegion and HoleRegion HoleRegion 是圓筒部分 Object and HoleRegion 例 Object and Region Object 是圈直徑 Object and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Cars.kif 871-885	例 SelfConnectedObject and AutomobileShock 例 Process and Compressing 例 HoleRegion and HoleRegion attribute Object and 流體等於 SelfConnectedObject and 洞主持人 HoleRegion 包含 SelfConnectedObject and Object 患者 Process and SelfConnectedObject Transfer 例 Transfer and Transfer objectTransferred Transfer and Object 路徑 Transfer and HoleRegion 原因 Process and Transfer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9961-9969	例 Object and HoleRegion 適當的部分 Object and Object Object 空間的符合 Object and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9990-9994	例 Object and HoleRegion 部分 Object and Object attribute Object and 可填寫
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9888-9891	例 HoleRegion and HoleRegion SelfConnectedObject hole HoleRegion and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9940-9943	例 Object and HoleRegion Object 適當的部分 Object and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 754-765	例 Process and Cricothyroidotomy 患者 Process and Entity 持有期間結束何時 Process and entity 例 entity and HoleRegion 等於 entity and 洞主持人 entity 例 entity and 喉部分 entity and Entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 3617-3632	例 Object and 威士忌酒例 TimeInterval and 蒸餾結果 TimeInterval and Object 資源 TimeIntervalR and Object 例 TimeIntervalR and Drinking SelfConnectedObject TimeInterval and HoleRegion 例 SelfConnectedObject and Cask 例 HoleRegion and HoleRegion hole HoleRegion and SelfConnectedObject 持有期間 TimeInterval and 部分填補 Object and SelfConnectedObject 早期 TimeInterval and TimeInterval 早期 TimeInterval and TimeIntervalR
No TPTP formula. May not be expressible in strict first order.	Food.kif 2763-2776	例 Object and Penne Object 例 Object and Penne 部分 Object and Object Object 例 Object and HoleRegion 部分 Object and Object attribute Object and 可填寫
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1628-1635	attribute SelfConnectedObject and 空容器 HoleRegion Object 例 HoleRegion and HoleRegion hole HoleRegion and SelfConnectedObject 部分填補 Object and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1646-1652	attribute SelfConnectedObject and 容器滿了 HoleRegion Object 例 HoleRegion and HoleRegion hole HoleRegion and SelfConnectedObject 填充 Object and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9983-9988	attribute Object and 可填寫 Object 例 Object and HoleRegion 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4425-4430	attribute Object and RingTorus HoleRegion 例 HoleRegion and HoleRegion 等於 Object and 洞主持人 HoleRegion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9893-9895	hole HoleRegion and SelfConnectedObject 例 HoleRegion and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9897-9900	hole HoleRegion and SelfConnectedObject 例 SelfConnectedObject and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25956-25963	例 CorpuscularObject and OutletAdapter Collection 例 Collection and Collection HoleRegion 是 Collection 的 member 類別部分 Collection and CorpuscularObject 材料 Metal and CorpuscularObject
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1126-1139	例 Object and BowlingBall Collection 例 Collection and Collection HoleRegion 是 Collection 的 member 類別 3 是 Collection 的 member 計數位於 Collection and Object 有目的 Collection and entity entity 會員 entity and Collection 例 entity and 手指部分填補 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1706-1711	例 Object and CombustionChamber HoleRegion 例 HoleRegion and HoleRegion 等於 Object and 洞主持人 HoleRegion
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 828-844	例 Physical and ChestSeal 有目的 Physical and entity entityH, entity and entity 例 entity and 關閉儀器 entity and Physical 位於 entity and entityH 例 entityH and Chest 例 entity and HoleRegion 等於 entityH and 洞主持人 entity 例 entity and Injuring 位於 entity and entityH 早期何時 entity and 何時 entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18112-18120	例 Physical and 鑽頭有目的 Physical and entity entity 例 entity and Cutting 例 entity and HoleRegion 結果 entity and entity 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2849-2878	例 Physical and Gasket 有目的 Physical and entity entity 例 entity and CorpuscularObject 例 entity and CorpuscularObject 空間的符合 entity and Physical 空間的符合 entity and Physical entity entity, entity and entity 例 entity and HoleRegion 等於 Physical and 洞主持人 entity 例 entity and 易位路徑 entity and entity 起源 entity and entity 目的地 entity and entity 包含 entity and entity 包含 entity and entity 空間的符合 entity and entity entity 包含 entity and entity 包含 entity and entity 包含 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1611-1621	例 Object and HydraulicCylinder Object HoleRegion and Object 例 HoleRegion and HoleRegion 等於 Object and 洞主持人 HoleRegion HoleRegion 是圓筒例 Object and Piston 部分 Object and Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4517-4522	例 SelfConnectedObject and 有孔容器 HoleRegion 例 HoleRegion and HoleRegion hole HoleRegion and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5211-5231	例 SelfConnectedObject and 檀香 HoleRegion HoleRegion 例 HoleRegion and HoleRegion hole HoleRegion and SelfConnectedObject 例 HoleRegion and HoleRegion hole HoleRegion and SelfConnectedObject 等於 HoleRegion and HoleRegion 有目的 HoleRegion and entity entity, entity and entity 例 entity and 調味料例 entity and 足 agent entity and entity 部分 entity and entity 子過程 entity and entity 例 entity and 插入患者 entity and entity 目的地 entity and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9423-9430	例 Object and Ulcer HoleRegion Object 例 HoleRegion and HoleRegion 例 Object and BodyPart 等於 Object and 洞主持人 HoleRegion 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4256-4263	例 Physical and VacuumHose 有目的 Physical and entity 例 entity and HoleRegion 等於 Physical and 洞主持人 entity attribute entity and PartialVacuum
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4307-4312	例 Object and 墊圈 HoleRegion 例 HoleRegion and HoleRegion 等於 Object and 洞主持人 HoleRegion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25899-25905	例 Object and ElectricalOutlet Collection 例 Collection and Collection HoleRegion 是 Collection 的 member 類別部分 Collection and Object

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: