contains - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1011-1011	不相交的關係包含 and 部分
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1584-1586	不相交的關係包含 and 部分
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1015-1019	不相交的關係包含 and 部分
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 161-164	不相交的關係包含 and 部分
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 189-193	不相交的關係包含 and 部分
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1012-1012	域包含, 1 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1013-1013	域包含, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1008-1008	例包含 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1010-1010	例包含 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1009-1009	例包含 and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1007-1007	例包含 and SpatialRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 800-800
No TPTP formula. May not be expressible in strict first order.	english_format.kif 808-808
No TPTP formula. May not be expressible in strict first order.	french_format.kif 481-481
No TPTP formula. May not be expressible in strict first order.	english_format.kif 809-809
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 433-433
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 503-503
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16947-16947
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 801-801
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16946-16946
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16945-16945

antecedent

No TPTP formula. May not be expressible in strict first order.	Music.kif 316-322	Image 是在 Album 的 image 例 Object and Album 在 DataStorageDevice 的 set 複製包含 SelfConnectedObject and Object 模態屬性部分 Image and 面前 SelfConnectedObject and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10735-10757	例 Object and Antacid 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 Object and 胃部分 Object and AutonomousAgent 持有期間不久的過去何時 Motion and 包含 Object and Object 例 Object and 流體持有期間眼前的未來何時 Motion and 包含 Object and Object 例 Object and 流體 phMeasure Object and RealNumber phMeasure Object and RealNumber 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10796-10818	例 Object and ProtonPumpInhibitor 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 Object and 胃部分 Object and AutonomousAgent 持有期間不久的過去何時 Motion and 包含 Object and Object 例 Object and 流體持有期間眼前的未來何時 Motion and 包含 Object and Object 例 Object and 流體 phMeasure Object and RealNumber phMeasure Object and RealNumber 比較多 RealNumber and RealNumber
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.	Mid-level-ontology.kif 4760-4764	例 SelfConnectedObject and 瓶子包含 SelfConnectedObject and Object attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1748-1768	例 Physical and Cavitating 例 SelfConnectedObject and 泵 attribute SelfConnectedObject and 設備上 attribute Object and 液體包含 SelfConnectedObject and Object SelfConnectedObjectP entity 部分 SelfConnectedObjectP and SelfConnectedObject 有目的 SelfConnectedObjectP and attribute entity and 液體空間的符合 entity and SelfConnectedObjectP 持有期間何時 Physical and entity attribute entity and 液體空間的符合 SelfConnectedObjectP and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4783-4787	例 SelfConnectedObject and 喝水杯包含 SelfConnectedObject and Object 例 Object and Beverage
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2795-2814	例 Object and 內燃機例 Object and CombustionChamber 部分 Object and Object 例 Entity and 汽油例 Entity and UnitOfVolume 持有期間 TimePosition and 包含 Object and Entity 測量 Entity and 測量 entity and Entity attribute Object and EngineFlooded 有目的 Object and Entity entity 例 Entity and 汽油包含 Object and Entity 測量 Entity and 測量 entity and Entity 大於或等於 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4802-4807	例 SelfConnectedObject and 游泳池包含 SelfConnectedObject and Object 例 Object and 流體例 Object and 淡水
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2826-2841	例 SelfConnectedObject and 船舶集裝箱測量 RealNumber and UnitOfMeasure 是 SelfConnectedObject 的 capacity 例 RealNumber and UnitOfMass 包含 SelfConnectedObject and SelfConnectedObject 測量 RealNumber and UnitOfMeasure 是 SelfConnectedObject 的 weight 少於 RealNumber and RealNumber 模態屬性 entity 例 entity and Damaging 患者 entity and SelfConnectedObject and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4750-4754	例 SelfConnectedObject and 液體容器包含 SelfConnectedObject and Object attribute Object and 流體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27924-27932	例 SelfConnectedObject and HeatedPool 包含 SelfConnectedObject and Object 例 Object and 淡水部分 SelfConnectedObject and Object 例 Object and WaterHeater attribute Object and 設備上 attribute Object and WarmTemperature
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7240-7244	測量 Object and ConstantQuantity 包含 SelfConnectedObject and Object ConstantQuantity 是 SelfConnectedObject 的 capacity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1021-1026	包含 SelfConnectedObject and Object HoleRegion hole HoleRegion and SelfConnectedObject 適當填充 Object and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 980-982	包含 SelfConnectedObject and Object 部分位於 SelfConnectedObject and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1028-1032	hole HoleRegion and SelfConnectedObject 適當填充 Object and HoleRegion 包含 SelfConnectedObject and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31929-31940	例 Entity and Carabiner 持有期間 TimePosition and attribute Entity and 設備關閉持有期間 TimePosition and 模態屬性 entity 例 entity and ClimbingRope 包含 Entity and entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2795-2814	例 Object and 內燃機例 Object and CombustionChamber 部分 Object and Object 例 Entity and 汽油例 Entity and UnitOfVolume 持有期間 TimePosition and 包含 Object and Entity 測量 Entity and 測量 entity and Entity attribute Object and EngineFlooded 有目的 Object and Entity entity 例 Entity and 汽油包含 Object and Entity 測量 Entity and 測量 entity and Entity 大於或等於 entity and entity
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1252-1265	例 Object and Faucet 例 Process and 液體運動患者 Process and Entity 位於 Process and Object 持有期間眼前的未來何時 Process and entity 例 entity and 管包含 entity and Entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5478-5488	例 Object and 腸例 Object and Animal 部分 Object and Object 模態屬性 entity 例 entity and EscherichiaColi 包含 Object and entity and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11499-11506	例 Process and 插入患者 Process and Entity 目的地 Process and Entity 持有期間開始何時 Process and 包含 Entity and Entity 持有期間結束何時 Process and 包含 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12143-12158	例 SelfConnectedObject and RibCage 部分 SelfConnectedObject and Object 例 Object and Human attribute Object and 活的 ~{ 例 Physical and PathologicProcess } ~{ 位於 Physical and Object } ObjectT Object 例 ObjectT and 心例 ObjectT and 肺包含 SelfConnectedObject and Object 包含 SelfConnectedObject and ObjectT
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1071-1081	例 Process and Vaccination 體驗者 Process and AutonomousAgent ProcessAC 例 ProcessAC and Vaccine 持有期間眼前的未來何時 Process and 包含 AutonomousAgent and ProcessAC
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5718-5726	穿 Animal and SelfConnectedObject 例 SelfConnectedObject and 長褲 Object 例 Object and 腿部分 Object and Animal 包含 SelfConnectedObject and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5822-5830	穿 Animal and SelfConnectedObject 例 SelfConnectedObject and 袖 Object 例 Object and 臂部分 Object and Animal 包含 SelfConnectedObject and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5796-5804	穿 Animal and SelfConnectedObject 例 SelfConnectedObject and 襪子 Object 例 Object and 足部分 Object and Animal 包含 SelfConnectedObject and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5635-5643	穿 Animal and SelfConnectedObject 例 SelfConnectedObject and 領帶服裝 Object 例 Object and 頸部部分 Object and Animal 包含 SelfConnectedObject and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4180-4186	attribute CorpuscularObject and WaterBed CorpuscularObject Object 零件 CorpuscularObject and CorpuscularObject 包含 CorpuscularObject and Object 例 Object and Water
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5885-5899	bloodVolume Human and VolumeMeasure Substance 例 Substance and Blood 包含 Human and Substance 例 Human and Human 測量 Substance and VolumeMeasure Substance 例 Substance and Blood 包含 Human and Substance 片 Substance and Substance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 965-971	例 Physical and AirIntake 有目的 Physical and entity 例 entity and 空氣包含 Physical and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3654-3660	例 Physical and Balloon 有目的 Physical and entity attribute entity and 加油站包含 Physical and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7007-7021	例 Process and 腹脹 AutonomousAgent SelfConnectedObject, SelfConnectedObject and Object 體驗者 Process and AutonomousAgent 例 Object and 加油站部分 SelfConnectedObject and AutonomousAgent 例 SelfConnectedObject and 腸包含 SelfConnectedObject and Object 部分 SelfConnectedObject and AutonomousAgent 例 SelfConnectedObject and 胃包含 SelfConnectedObject and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1519-1529	例 Physical and BleedingAir 有目的 Physical and entity entity 例 entity and 液體容器例 entity and 空氣持有期間不久的過去 Physical and 包含 entity and entity 持有期間眼前的未來 Physical and 包含 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4529-4538	例 Physical and 袋有目的 Physical and entity entity 例 entity and Transfer 例 entity and Object 包含 Physical and entity 儀器 entity and Physical 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2782-2791	例 Physical and 船舶集裝箱有目的 Physical and entity entity 例 entity and 運輸貨物 entity and Physical 貨物 entity and entity 持有期間何時 entity and 包含 Physical and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11859-11864	例 Object and 脊髓 SelfConnectedObject 例 SelfConnectedObject and 脊柱包含 SelfConnectedObject and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4518-4520	例 Physical and 容器有目的 Physical and entity 包含 Physical and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10906-10919	例 Physical and Diuretic 有目的 Physical and entity entity, entity and entityOC 例 entity and Human 例 entity and Removing 例 entity and 液體體驗者 entity and entity 移動 entity and entity 起源 entity and entity 包含 entity and entityOC 目的地 entity and entityOC
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30607-30615	例 Physical and FishTank 有目的 Physical and entity entity 例 entity and Water 例 entity and Fish 包含 Physical and entity 包含 Physical and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2827-2856	例 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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: