HoleHostFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2863-2865
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9952-9955
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1610-1612
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 9946-9946	例洞主持人 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9950-9950	範圍洞主持人 and Object

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 401-401
No TPTP formula. May not be expressible in strict first order.	english_format.kif 407-407
No TPTP formula. May not be expressible in strict first order.	french_format.kif 231-231
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2033-2033
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 183-183
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 251-251
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 402-402
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28371-28371
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28370-28370
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28369-28369

antecedent

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.	Cars.kif 509-521	例 Object and EngineCylinder 例 HoleRegion and Crankcase 例 Physical and Piston 例 Process and TwoStrokeTransfer 持有期間 Process and 位於 Physical and Object 等於 Object and 洞主持人 HoleRegion Process 是 located 在 Object 有目的 Physical and 持有期間 Process and 部分填補 Physical and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 463-475	例 Object and EngineCylinder 例 HoleRegion and InternalCombustionChamber 例 Physical and Piston 例 Process and TwoStrokeIntake 持有期間 Process and 位於 Physical and Object 等於 Object and 洞主持人 HoleRegion Process 是 located 在 Object 有目的 Physical and 持有期間 Process and 部分填補 Physical and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 207-217	例 Process and FourStrokeCombustion 例 Object and EngineCylinder 例 HoleRegion and InternalCombustionChamber 等於 Object and 洞主持人 HoleRegion Process 是 located 在 Object ObjectO 例 ObjectO and Combustion 子過程 ObjectO and Process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 191-200	例 Process and FourStrokeCompression 例 Object and EngineCylinder 例 HoleRegion and InternalCombustionChamber 等於 Object and 洞主持人 HoleRegion Process 是 located 在 Object 持有期間結束何時 Process and attribute HoleRegion and Pressurized
No TPTP formula. May not be expressible in strict first order.	Cars.kif 225-238	例 Process and FourStrokeExhaust 例 Object and EngineCylinder 例 HoleRegion and InternalCombustionChamber 等於 Object and 洞主持人 HoleRegion Process 是 located 在 Object Entity Process 例 Process and 氣體運動例 Entity and Exhaust 子過程 Process and Process 起源 Process and HoleRegion 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 171-184	例 Process and FourStrokeIntake 例 Object and EngineCylinder 例 HoleRegion and InternalCombustionChamber 等於 Object and 洞主持人 HoleRegion Process 是 located 在 Object ProcessV Process 例 Process and 氣體運動例 ProcessV and FuelVapor 子過程 Process and Process 目的地 Process and HoleRegion 患者 Process and ProcessV
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6219-6228	例 HoleRegion and Laceration 例 Object and 皮膚等於 Object and 洞主持人 HoleRegion 部分 Object and Object Process 例 Process and Poking 結果 Process and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 523-536	例 Process and TwoStrokeTransfer 例 Object and EngineCylinder 例 HoleRegion and InternalCombustionChamber 等於 Object and 洞主持人 HoleRegion Process 是 located 在 Object Entity Process 例 Process and 氣體運動例 Entity and Exhaust 子過程 Process and Process 起源 Process and HoleRegion 患者 Process and Entity

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.	Mid-level-ontology.kif 6121-6139	例 Process and Sneezing 體驗者 Process and AutonomousAgent 有目的 Process and entity entity, entityOSE and entity 例 entity and NasalCavity 例 entityOSE and 鼻子等於 entityOSE and 洞主持人 entity 例 entity and Object 例 entity and Removing 部分 entityOSE and AutonomousAgent objectTransferred entity and entity 持有期間不久的過去何時 Process and 位於 entity and entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 275-283	例 HoleRegion and LeftAtrium 部分 HoleRegion and Object Object ObjectEART 等於 ObjectEART and 洞主持人 HoleRegion 部分 ObjectEART and Object 例 ObjectEART and 心
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 291-299	例 HoleRegion and LeftVentricle 部分 HoleRegion and Object Object ObjectEART 等於 ObjectEART and 洞主持人 HoleRegion 部分 ObjectEART and Object 例 ObjectEART and 心
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 307-315	例 HoleRegion and RightAtrium 部分 HoleRegion and Object Object ObjectEART 等於 ObjectEART and 洞主持人 HoleRegion 部分 ObjectEART and Object 例 ObjectEART and 心
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 323-331	例 HoleRegion and RightVentricle 部分 HoleRegion and Object Object ObjectEART 等於 ObjectEART and 洞主持人 HoleRegion 部分 ObjectEART and Object 例 ObjectEART and 心
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 10108-10115	等於 Object and 洞皮 HoleRegion 膚淺的部分 Object and 洞主持人 HoleRegion 空間的符合 HoleRegion and Object 在空間上重疊 Object and Object 在空間上重疊 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10098-10106	等於 Object and 洞皮 HoleRegion 在空間上重疊 Object and Object Object 膚淺的部分 Object and 洞主持人 HoleRegion 空間的符合 HoleRegion and Object 在空間上重疊 Object and Object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5706-5716	持有期間 TimeInterval and attribute Object and Sinusitis HoleRegion HoleRegionH and Process 例 HoleRegion and NasalCavity 等於 HoleRegionH and 洞主持人 HoleRegion 部分 HoleRegionH and Object 例 Process and Inflammation 期間何時 Process and TimeInterval 患者 Process and HoleRegionH
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14146-14153	例 Object and WaterArea Object HoleRegion and Object 等於洞主持人 HoleRegion and Object 例 Object and Water 適當填充 Object and HoleRegion 等於 mereological 總和 Object and Object and Object
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.	Cars.kif 328-333	例 Object and 發動機 HoleRegion 例 HoleRegion and Crankcase 等於 Object and 洞主持人 HoleRegion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 317-322	例 Object and EngineCylinder HoleRegion 例 HoleRegion and InternalCombustionChamber 等於 Object and 洞主持人 HoleRegion
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.	Mid-level-ontology.kif 6147-6153	例 HoleRegion and Glottis Object 例 Object and VocalCords 等於 Object and 洞主持人 HoleRegion
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.	Medicine.kif 6212-6217	例 HoleRegion and Laceration Object 例 Object and 皮膚等於 Object and 洞主持人 HoleRegion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6088-6094	例 HoleRegion and NasalCavity HoleRegionOSE 例 HoleRegionOSE and 鼻子等於 HoleRegionOSE and 洞主持人 HoleRegion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12125-12131	例 HoleRegion and Pupil Object 例 Object and 眼睛等於 Object 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

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: