connected - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2823-2824
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9599-9600
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1565-1566
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9596-9596	域連接的, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9597-9597	域連接的, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9592-9592	例連接的 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9594-9594	例連接的 and ReflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9593-9593	例連接的 and SpatialRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9595-9595	例連接的 and SymmetricRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4196-4196	不相交的關係十字架 and 連接的
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 361-361	不相交的關係十字架 and 連接的
No TPTP formula. May not be expressible in strict first order.	english_format.kif 364-364	不相交的關係十字架 and 連接的
No TPTP formula. May not be expressible in strict first order.	french_format.kif 209-209	不相交的關係十字架 and 連接的
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 52-52	不相交的關係十字架 and 連接的
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2016-2016	不相交的關係十字架 and 連接的
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 161-161	不相交的關係十字架 and 連接的
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 86-86	不相交的關係十字架 and 連接的
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 216-216	不相交的關係十字架 and 連接的
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 480-480	不相交的關係十字架 and 連接的
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 93-93	不相交的關係十字架 and 連接的
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 229-229	不相交的關係十字架 and 連接的
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 226-226	不相交的關係十字架 and 連接的
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 120-120	不相交的關係十字架 and 連接的
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9663-9663	相關的內部概念空間的符合 and 連接的
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16222-16222	子關係連接的工程組件 and 連接的
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4029-4029	子關係在空間上重疊 and 連接的
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 362-362	子關係在空間上重疊 and 連接的
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16653-16653	子關係在空間上重疊 and 連接的
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16652-16652	子關係在空間上重疊 and 連接的
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16651-16651	子關係在空間上重疊 and 連接的
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 149-149	子關係在空間上重疊 and 連接的

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9808-9813	底部 SelfConnectedObject and SelfConnectedObject 部分 Object and SelfConnectedObject 連接的 Object and SelfConnectedObject 方位 Object, SelfConnectedObject and 以上
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9647-9653	連接的 Object and Object 連接的 Object and Object 連接的 Object and Object 連接 Object, Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 514-518	連接的 Object and Object 部分 Object and Object 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9614-9618	等於 Object and mereological 總和 Object and Object 連接的 Object and Object 例 Object and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12488-12502	例 Process and Attaching 患者 Process and Entity 患者 Process and Entity 持有期間開始何時 Process and 連接的 Entity and Entity 持有期間結束何時 Process and 連接的 Entity and Entity objectAttached Process and Entity objectAttached Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11926-11942	例 Object and BodySegment 例 Object and BodySegment 連接的 Object and Object 例 Motion and BodyMotion 移動 Motion and Object 模態屬性 Motion 例 Motion and BodyMotion 移動 Motion and Object 期間何時 Motion and 何時 Motion and 可能性
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5399-5404	例 Object and 渠道例 Object and 水體連接的 Object and Object 更大 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12536-12545	例 Process and Detaching 患者 Process and Entity 患者 Process and Entity 持有期間開始何時 Process and 連接的 Entity and Entity 持有期間結束何時 Process and 連接的 Entity and Entity objectDetached Process and Entity objectDetached Process and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18016-18026	例 Object and Object attribute Object and 又長又瘦例 Object and Object attribute Object and 又長又瘦連接的 Object and Object 等於 Object and Object RealNumber relativeAngle Object, Object and RealNumber
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5449-5464	例 GeographicArea and 內陸水系統例 GeographicArea and WaterArea 例 GeographicArea and WaterArea 等於 GeographicArea and GeographicArea 連接的 GeographicArea and GeographicArea GeographicArea 是 GeographicArea 的 geographic 次要地區 GeographicArea 是 GeographicArea 的 geographic 次要地區 Object 例 Object and WaterArea 等於 Object and GeographicArea 等於 Object and GeographicArea 部分 Object and GeographicArea 連接 Object, GeographicArea and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10141-10145	適當填充 Object and HoleRegion 連接的 Object and Object 連接的 HoleRegion and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9838-9845	側 SelfConnectedObject and SelfConnectedObject 部分 Object and SelfConnectedObject 連接的 Object and SelfConnectedObject PositionalAttribute 方位 SelfConnectedObject, Object and PositionalAttribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9823-9828	上 SelfConnectedObject and SelfConnectedObject 部分 Object and SelfConnectedObject 連接的 Object and SelfConnectedObject 方位 Object, SelfConnectedObject and 下面
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9602-9606	連接的 Object and Object 空間的符合 Object and Object 在空間上重疊 Object and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17229-17233	方位 Object, Object and 鄰方位 Object, Object and 近連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 514-518	連接的 Object and Object 部分 Object and Object 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13316-13326	connectedBodyPart BodyPart and BodyPart attribute Object and Healthy BodyPartI BodyPartI 例 BodyPartI and BodyPart 例 BodyPartI and BodyPart 部分 BodyPartI and Object 部分 BodyPartI and Object 連接的 BodyPartI and BodyPartI
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 31-45	connectedBodyPartTypes BodyPart, BodyPart and Organism 例 OrganismC and Organism attribute Object and DiseaseOrSyndrome Object Object 例 Object and BodyPart 例 Object and BodyPart 等於 Object and Object 部分 Object and OrganismC 部分 Object and OrganismC 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12465-12472	例 Process and Attaching 患者 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.	Merge.kif 12513-12520	例 Process and Detaching 患者 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.	Media.kif 690-700	例 Process and 數據保存資源 Process and Object 例 Object and ElectronicDataStorageDevice Object 例 Object and 電器儀器 Process and Object 持有期間何時 Process and 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11996-12006	例 Motion and Extension 移動 Motion and Object Object ObjectC 例 Object and Muscle 例 ObjectC and MuscularContraction 儀器 Motion and Object 連接的 Object and Object 子過程 ObjectC and Motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11956-11966	例 Motion and Flexion 移動 Motion and Object Object ObjectC 例 Object and Muscle 例 ObjectC and MuscularContraction 儀器 Motion and Object 連接的 Object and Object 子過程 ObjectC and Motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9608-9612	例 Object and SelfConnectedObject 等於 Object and mereological 總和 Object and Object 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3781-3789	例 Object and 港口設施能力船靠泊, 患者 and Object Object 例 Object and 港口連接的 Object and Object 能力船靠泊, 路徑 and Object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 560-573	例 Object and CervicalVertebraBone 部分 Object and Object 例 Object and Human attribute Object and DiseaseOrSyndrome Object 例 Object and CervicalVertebraBone 等於 Object and Object 部分 Object and Object 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 504-516	例 Object and FalseRibBone 部分 Object and Object 例 Object and Human attribute Object and DiseaseOrSyndrome Object 例 Object and Sternum 部分 Object and Object 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 600-613	例 Object and LumbarVertebraBone 部分 Object and Object 例 Object and Human attribute Object and DiseaseOrSyndrome Object 例 Object and LumbarVertebraBone 等於 Object and Object 部分 Object and Object 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 668-681	例 Object and ThoracicVertebraBone 部分 Object and Object 例 Object and Human attribute Object and DiseaseOrSyndrome Object 例 Object and ThoracicVertebraBone 等於 Object and Object 部分 Object and Object 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 491-502	例 Object and TrueRibBone 部分 Object and Object 例 Object and Human attribute Object and DiseaseOrSyndrome Object 例 Object and Sternum 部分 Object and Object 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5730-5739	例河 and 河例 Object and 水體 Object 是河的 flows WaterArea 例 WaterArea and 河口 WaterArea 是河的 outfall 連接的 WaterArea and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11590-11597	例 Process and Touching agent Process and AutonomousAgent 患者 Process and Entity 持有期間開始何時 Process and 連接的 AutonomousAgent and Entity 持有期間結束何時 Process and 連接的 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4007-4016	例 Object and 車輪例 CorpuscularObject and 公路車輛部分 Object and CorpuscularObject CorpuscularObject 例 CorpuscularObject and 軸零件 CorpuscularObject and CorpuscularObject 連接的 Object and CorpuscularObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10141-10145	適當填充 Object and HoleRegion 連接的 Object and Object 連接的 HoleRegion and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3167-3183	attribute Object and 鎖定 Object Process and Entity 例 Object and 鎖連接的 Object and Object 例 Process and 關閉患者 Process and Object 例 Entity and Motion 早期何時 Process and 何時 attribute Object and 鎖定持有期間何時 attribute Object and 鎖定 and 模態屬性患者 Entity and Object and 可能性
No TPTP formula. May not be expressible in strict first order.	Cars.kif 383-396	attribute Object and PartialVacuum Object Object, RealNumber, RealNumber and UnitOfMeasure 例 Object and SelfConnectedObject 例 Object and Region 等於 Object and Object 連接的 Object and Object 連接的 Object and Object 測量 Object and 測量 RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfAtmosphericPressure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 403-416	attribute Object and Pressurized Object Object, RealNumber, RealNumber and UnitOfMeasure 例 Object and SelfConnectedObject 例 Object and Region 等於 Object and Object 連接的 Object and Object 連接的 Object and Object 測量 Object and 測量 RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfAtmosphericPressure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10134-10139	完全填滿 Object and HoleRegion Object 連接的 Object and HoleRegion 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9639-9645	連接 Object, Object and Object 連接的 Object and Object 連接的 Object and Object 連接的 Object and Object

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5238-5238	連接的腺嘌呤 and 阿拉伯海
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5246-5246	連接的 GulfOfMexico and 加勒比海
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5245-5245	連接的 GulfOfMexico and 北大西洋
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5230-5230	連接的阿曼灣 and 阿拉伯海
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4700-4700	連接的印度洋 and 波斯灣
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4699-4699	連接的印度洋 and 南太平洋
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4701-4701	連接的印度洋 and 南部海洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 744-744	連接的密西西比河 and GulfOfMexico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5223-5223	連接的波斯灣 and 霍爾木茲海峽
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5237-5237	連接的紅海 and 腺嘌呤
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5229-5229	連接的霍爾木茲海峽 and 阿曼灣

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: