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 14859-14859	範圍子類 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 14874-14874	子類 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 2361-2361	子類舷梯 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2574-2574	子類船舶集裝箱 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 14266-14266	子類公交專用道 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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 17941-17941	域 approximateDiameter, 1 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9709-9709	域底部, 1 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9710-9710	域底部, 2 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6681-6681	域容量, 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 7550-7550	域高度, 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 22699-22699	域時間上的會員, 1 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17401-17401	域在船上, 1 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9739-9739	域側, 1 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9740-9740	域側, 2 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9677-9677	域表面, 1 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9678-9678	域表面, 2 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9724-9724	域上, 1 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9725-9725	域上, 2 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7284-7284	域重量, 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 2605-2605	域子類可通行的交通類型, 2 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3036-3036	域子類過境通行能力計數, 2 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3046-3046	域子類過境通行能力, 2 and SelfConnectedObject

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9515-9519	例 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 1987-1999	例 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 9521-9525	等於 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 12475-12480	例 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 14477-14483	例 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 12491-12496	例 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: