TreeView Knowledge Base Browser - SelfConnectedObject

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1555-1556
No TPTP formula. May not be expressible in strict first order.	Merge.kif 864-865
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 126-127
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 146-147
No TPTP formula. May not be expressible in strict first order.	Merge.kif 862-862	子類 SelfConnectedObject and Object

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1262-1262	不相交的 Collection and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 899-899	範圍背部 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 879-879	範圍面前 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14905-14905	範圍子類 FoodForFn and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4492-4492	子類水體 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1226-1226	子類 CorpuscularObject and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14920-14920	子類 Food and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4723-4723	子類冰山 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 867-867	子類 OrganicThing and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2354-2354	子類舷梯 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1041-1041	子類 Substance and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14312-14312	子類公交專用道 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 816-816
No TPTP formula. May not be expressible in strict first order.	english_format.kif 834-834
No TPTP formula. May not be expressible in strict first order.	french_format.kif 492-492
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 25-25
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 28-28
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2177-2177
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 444-444
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 29-29
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 59-59
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 513-513
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 29-29

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 898-898	域背部, 1 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 878-878	域面前, 1 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17968-17968	域 approximateDiameter, 1 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9745-9745	域底部, 1 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9746-9746	域底部, 2 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6675-6675	域容量, 1 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1019-1019	域包含, 1 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7551-7551	域高度, 1 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 995-995	域 hole, 2 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22751-22751	域時間上的會員, 1 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17428-17428	域在船上, 1 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9775-9775	域側, 1 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9776-9776	域側, 2 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9713-9713	域表面, 1 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9714-9714	域表面, 2 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9760-9760	域上, 1 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9761-9761	域上, 2 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7285-7285	域重量, 1 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Food.kif 1656-1656	域子類 ingredientAmount, 1 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Food.kif 1657-1657	域子類 ingredientAmount, 2 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2638-2638	域子類可通行的交通類型, 2 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3088-3088	域子類過境通行能力計數, 2 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3098-3098	域子類過境通行能力, 2 and SelfConnectedObject

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9551-9555	例 Object and SelfConnectedObject 等於 Object and mereological 總和 Object and Object 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1970-1982	例 Entity and SelfConnectedObject 例 Process and Compressing 患者 Process and Entity 持有期間不久的過去何時 Process and 測量 Entity and 測量 RealNumber and Entity 例 Entity and UnitOfVolume 持有期間眼前的未來何時 Process and 測量 Entity and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 144-169	測量 RealNumber and UnitOfMeasure 是車輛的 maximum 有效附載容量車輛對於測量 RealNumber and UnitOfMeasure 的 maximum 有效附載高度測量 RealNumber and UnitOfMeasure 例 SelfConnectedObject and SelfConnectedObject 測量 RealNumber and RealNumberU 是 SelfConnectedObject 的 weight 寬度 SelfConnectedObject and 測量 RealNumber and RealNumberU 高度 SelfConnectedObject and 測量 RealNumber and RealNumberU 等於 RealNumberU and UnitOfMeasure 等於 RealNumberU and UnitOfMeasure 等於 RealNumberU and UnitOfMeasure 小於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber 能力卡帕 SymbolicString and 例 SymbolicString and Transportation 患者 SymbolicString and SelfConnectedObject, 儀器 and 車輛
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4638-4652	Collection 和 Collection 是 mutually exclusive 例 Collection and Collection 例 Collection and Collection 例 Physical and SelfConnectedObject 會員 Physical and Collection 會員 Collection and Collection 會員 Collection and Collection 等於 Collection and Collection ~{ 會員 Physical and Collection } ~{ 會員 Physical and Collection }
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4627-4636	Collection 和 Collection 是 mutually exclusive 會員 Physical and Collection 例 Physical and SelfConnectedObject Collection 例 Collection and Collection 會員 Physical and Collection 會員 Collection and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4620-4625	Collection 和 Collection 是 mutually exclusive 會員 Physical and Collection 例 Physical and SelfConnectedObject 例 Physical and Collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 910-912	例 SelfConnectedObject and SelfConnectedObject 側背部 SelfConnectedObject and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 891-893	例 SelfConnectedObject and SelfConnectedObject 側面前 SelfConnectedObject and SelfConnectedObject

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9557-9561	等於 Object and mereological 總和 Object and Object 連接的 Object and Object 例 Object and SelfConnectedObject
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 12521-12526	例 Process and Combining Entity 例 Entity and SelfConnectedObject 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14504-14510	例 Object and 標籤 Object 例 Object and SelfConnectedObject 連接的 Object and Object 參照 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12537-12542	例 Process and Separating Entity 例 Entity and SelfConnectedObject 患者 Process and Entity

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: