SelfConnectedObject - Sigma Knowledge base Browser

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	自身连接物体是客体的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1262-1262	群体和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 899-899	挪后函数的 range 是自身连接物体的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 879-879	挪前函数的 range 是自身连接物体的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14859-14859	FoodForFn 的所得值是自身连接物体的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4492-4492	水体是自身连接物体的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1226-1226	躯体性物体是自身连接物体的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14874-14874	Food 是自身连接物体的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4723-4723	冰山是自身连接物体的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 867-867	OrganicThing 是自身连接物体的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2361-2361	舷梯是自身连接物体的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2574-2574	船舶集装箱是自身连接物体的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1041-1041	物质是自身连接物体的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14266-14266	公交专用道是自身连接物体的 subclass
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 数量是自身连接物体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 878-878	挪前函数的 1 数量是自身连接物体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17941-17941	近似直径的 1 数量是自身连接物体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9709-9709	底部的 1 数量是自身连接物体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9710-9710	底部的 2 数量是自身连接物体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6681-6681	容量的 1 数量是自身连接物体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1019-1019	容纳的 1 数量是自身连接物体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7550-7550	高度的 1 数量是自身连接物体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 995-995	洞的 2 数量是自身连接物体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22699-22699	当时的组员的 1 数量是自身连接物体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17401-17401	在船上的 1 数量是自身连接物体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9739-9739	边的 1 数量是自身连接物体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9740-9740	边的 2 数量是自身连接物体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9677-9677	表面的 1 数量是自身连接物体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9678-9678	表面的 2 数量是自身连接物体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9724-9724	顶部的 1 数量是自身连接物体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9725-9725	顶部的 2 数量是自身连接物体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7284-7284	重量的 1 数量是自身连接物体的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 1656-1656	ingredientAmount 的 1 数量是自身连接物体的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 1657-1657	ingredientAmount 的 2 数量是自身连接物体的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2605-2605	可通行的交通类型的 2 数量是自身连接物体的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3036-3036	过境通行能力计数的 2 数量是自身连接物体的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3046-3046	过境通行能力的 2 数量是自身连接物体的 subclass

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9515-9519	如果客体是自身连接物体的 instance 和那个客体 equal 包括属于另一个客体或第三客体的部分，然后那个第三客体和那个另外客体是 connected
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1987-1999	如果实体是自身连接物体的 instance 和过程是 Compressing 的 instance 和那个实体是那个过程的 patient 和那个实体的 measure 是实数另一个实体在紧接那个过程出现的 time before holdsDuring 和那个另外实体是 UnitOfVolume 的 instance 和那个实体的 measure 是另一个实数那个另外实体在紧接那个过程出现的 time after holdsDuring，然后那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 144-169	如果实数测量单位是车辆的 maximum 有效附载容量和那个车辆对于另一个实数另一个测量单位的 maximum 有效附载高度第三实数第三测量单位和自身连接物体是自身连接物体的 instance 和第四实数那个第四实数U 是那个自身连接物体的 weight 和那个自身连接物体的 width 是第五实数那个第五实数U 和那个自身连接物体的 height 是第六实数那个第六实数U 和那个第四实数U equal 那个测量单位和那个第五实数U equal 那个另外测量单位和那个第六实数U equal 那个第三测量单位和那个第四实数是 lessThanOrEqualTo 那个实数和那个第五实数是 lessThanOrEqualTo 那个另外实数和那个第六实数是 lessThanOrEqualTo 那个第三实数，然后那个车辆能够担当工具的角色做符号串所描述的类别
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4638-4652	如果群体和另一个群体是 mutually exclusive 和第三群体是群体的 instance 和第四群体是群体的 instance 和物理是自身连接物体的 instance 和那个物理是那个群体的 member 和那个第三群体是那个另外群体的 member 和那个第四群体是那个另外群体的 member 和那个第三群体不 equal 那个第四群体，然后 ~{ 那个物理是那个第三群体的 member } 或 ~{ 那个物理是那个第四群体的 member }
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4627-4636	如果群体和另一个群体是 mutually exclusive 和物理是那个群体的 member 和那个物理是自身连接物体的 instance，然后有存在第三群体这样那个第三群体是群体的 instance 和那个物理是那个第三群体的 member 和那个第三群体是那个另外群体的 member
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4620-4625	如果群体和另一个群体是 mutually exclusive 和物理是那个另外群体的 member 和那个物理是自身连接物体的 instance，然后那个物理是群体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 910-912	如果自身连接物体是自身连接物体的 instance，然后那个自身连接物体的后面是那个自身连接物体的一 side
No TPTP formula. May not be expressible in strict first order.	Merge.kif 891-893	如果自身连接物体是自身连接物体的 instance，然后那个自身连接物体的前面是那个自身连接物体的一 side

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9521-9525	如果客体 equal 包括属于另一个客体或第三客体的部分和那个第三客体和那个另外客体是 connected，然后那个客体是自身连接物体的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 383-396	如果 PartialVacuum 是客体的 attribute，然后有存在另一个客体，第三客体,，，实数,，，另一个实数， and 和测量单位这样那个另外客体是自身连接物体的 instance 和那个第三客体是地区的 instance 和那个第三客体不 equal 那个客体和那个客体和那个另外客体是 connected 和那个第三客体和那个另外客体是 connected 和那个第三客体的 measure 是那个实数那个测量单位和那个客体的 measure 是那个另外实数那个测量单位和那个测量单位是 UnitOfAtmosphericPressure 的 instance 和那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Cars.kif 403-416	如果 Pressurized 是客体的 attribute，然后有存在另一个客体，第三客体,，，实数,，，另一个实数， and 和测量单位这样那个另外客体是自身连接物体的 instance 和那个第三客体是地区的 instance 和那个第三客体不 equal 那个客体和那个客体和那个另外客体是 connected 和那个第三客体和那个另外客体是 connected 和那个第三客体的 measure 是那个实数那个测量单位和那个客体的 measure 是那个另外实数那个测量单位和那个测量单位是 UnitOfAtmosphericPressure 的 instance 和那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12475-12480	如果过程是结合的 instance，然后有存在实体这样那个实体是自身连接物体的 instance 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14477-14483	如果客体是标签的 instance，然后有存在另一个客体这样那个另外客体是自身连接物体的 instance 和那个客体和那个另外客体是 connected 和那个客体提到那个另外客体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12491-12496	如果过程是分开的 instance，然后有存在实体这样那个实体是自身连接物体的 instance 和那个实体是那个过程的 patient

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: