SelfConnectedObject - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__SelfConnectedObject,s__ChineseLanguage,'" SelfConnectedObject 是任何并非由两个或以上不相连部分所组成的 Object。"')

chinese_format.kif 1555-1556

s__documentation(s__SelfConnectedObject,s__EnglishLanguage,'"A SelfConnectedObject is any Object that does not consist of two or more disconnected parts."')

Merge.kif 822-823

s__instance(s__Object,s__SetOrClass)

s__subclass(s__SelfConnectedObject,s__Object)

s__instance(s__SelfConnectedObject,s__SetOrClass)

Merge.kif 820-820

Self connected object is a subclass of object

appearance as argument number 2

s__disjoint(s__Collection,s__SelfConnectedObject)	Merge.kif 1160-1160	Collection is disjoint from self connected object
s__range(s__BackFn__m,s__SelfConnectedObject)	Merge.kif 857-857	The range of back is an instance of self connected object
s__range(s__FrontFn__m,s__SelfConnectedObject)	Merge.kif 837-837	The range of front is an instance of self connected object
s__rangeSubclass(s__FoodForFn__m,s__SelfConnectedObject)	Merge.kif 14162-14162	The values returned by FoodForFn are subclasses of self connected object
s__instance(s__BodyOfWater,s__SetOrClass) s__subclass(s__BodyOfWater,s__SelfConnectedObject) s__instance(s__SelfConnectedObject,s__SetOrClass)	Geography.kif 4307-4307	Body of water is a subclass of self connected object
s__instance(s__CorpuscularObject,s__SetOrClass) s__instance(s__SelfConnectedObject,s__SetOrClass) s__subclass(s__CorpuscularObject,s__SelfConnectedObject)	Merge.kif 1129-1129	Corpuscular object is a subclass of self connected object
s__subclass(s__Food,s__SelfConnectedObject) s__instance(s__Food,s__SetOrClass) s__instance(s__SelfConnectedObject,s__SetOrClass)	Merge.kif 14177-14177	Food is a subclass of self connected object
s__subclass(s__Iceberg,s__SelfConnectedObject) s__instance(s__Iceberg,s__SetOrClass) s__instance(s__SelfConnectedObject,s__SetOrClass)	Geography.kif 4517-4517	Iceberg is a subclass of self connected object
s__subclass(s__Meat,s__SelfConnectedObject) s__instance(s__Meat,s__SetOrClass) s__instance(s__SelfConnectedObject,s__SetOrClass)	Merge.kif 14179-14179	Meat is a subclass of self connected object
s__instance(s__OrganicThing,s__SetOrClass) s__subclass(s__OrganicThing,s__SelfConnectedObject) s__instance(s__SelfConnectedObject,s__SetOrClass)	Merge.kif 825-825	OrganicThing is a subclass of self connected object
s__subclass(s__Ramp,s__SelfConnectedObject) s__instance(s__Ramp,s__SetOrClass) s__instance(s__SelfConnectedObject,s__SetOrClass)	Mid-level-ontology.kif 2297-2297	Ramp is a subclass of self connected object
s__subclass(s__ShipContainer,s__SelfConnectedObject) s__instance(s__ShipContainer,s__SetOrClass) s__instance(s__SelfConnectedObject,s__SetOrClass)	Transportation.kif 2581-2581	Ship container is a subclass of self connected object
s__instance(s__Substance,s__SetOrClass) s__subclass(s__Substance,s__SelfConnectedObject) s__instance(s__SelfConnectedObject,s__SetOrClass)	Merge.kif 963-963	Substance is a subclass of self connected object
s__subclass(s__Transitway,s__SelfConnectedObject) s__instance(s__Transitway,s__SetOrClass) s__instance(s__SelfConnectedObject,s__SetOrClass)	Merge.kif 13595-13595	Transitway is a subclass of self connected object
s__termFormat(s__ChineseLanguage,s__SelfConnectedObject,'"自身连接物体"')	chinese_format.kif 816-816
s__termFormat(s__EnglishLanguage,s__SelfConnectedObject,'"self connected object"')	english_format.kif 839-839

appearance as argument number 3

s__domain(s__BackFn__m,n__1,s__SelfConnectedObject)	Merge.kif 856-856	The number 1 argument of back is an instance of self connected object
s__domain(s__FrontFn__m,n__1,s__SelfConnectedObject)	Merge.kif 836-836	The number 1 argument of front is an instance of self connected object
s__domain(s__approximateDiameter__m,n__1,s__SelfConnectedObject)	Mid-level-ontology.kif 16397-16397	The number 1 argument of approximate diameter is an instance of self connected object
s__domain(s__bottom__m,n__1,s__SelfConnectedObject)	Merge.kif 9280-9280	The number 1 argument of bottom is an instance of self connected object
s__domain(s__bottom__m,n__2,s__SelfConnectedObject)	Merge.kif 9281-9281	The number 2 argument of bottom is an instance of self connected object
s__domain(s__capacity__m,n__1,s__SelfConnectedObject)	Mid-level-ontology.kif 6167-6167	The number 1 argument of capacity is an instance of self connected object
s__domain(s__contains__m,n__1,s__SelfConnectedObject)	Merge.kif 947-947	The number 1 argument of contains is an instance of self connected object
s__domain(s__height__m,n__1,s__SelfConnectedObject)	Merge.kif 7303-7303	The number 1 argument of height is an instance of self connected object
s__domain(s__hole__m,n__2,s__SelfConnectedObject)	Merge.kif 9418-9418	The number 2 argument of hole is an instance of self connected object
s__domain(s__memberAtTime__m,n__1,s__SelfConnectedObject)	Mid-level-ontology.kif 21170-21170	The number 1 argument of member at time is an instance of self connected object
s__domain(s__onboard__m,n__1,s__SelfConnectedObject)	Mid-level-ontology.kif 15882-15882	The number 1 argument of onboard is an instance of self connected object
s__domain(s__side__m,n__1,s__SelfConnectedObject)	Merge.kif 9310-9310	The number 1 argument of side is an instance of self connected object
s__domain(s__side__m,n__2,s__SelfConnectedObject)	Merge.kif 9311-9311	The number 2 argument of side is an instance of self connected object
s__domain(s__surface__m,n__1,s__SelfConnectedObject)	Merge.kif 9248-9248	The number 1 argument of surface is an instance of self connected object
s__domain(s__surface__m,n__2,s__SelfConnectedObject)	Merge.kif 9249-9249	The number 2 argument of surface is an instance of self connected object
s__domain(s__top__m,n__1,s__SelfConnectedObject)	Merge.kif 9295-9295	The number 1 argument of top is an instance of self connected object
s__domain(s__top__m,n__2,s__SelfConnectedObject)	Merge.kif 9296-9296	The number 2 argument of top is an instance of self connected object
s__domain(s__weight__m,n__1,s__SelfConnectedObject)	Merge.kif 7037-7037	The number 1 argument of weight is an instance of self connected object
s__domainSubclass(s__ingredient__m,n__1,s__SelfConnectedObject)	Food.kif 51-51	The number 1 argument of ingredient is a subclass of self connected object
s__domainSubclass(s__ingredientAmount__m,n__1,s__SelfConnectedObject)	Food.kif 68-68	The number 1 argument of amount of ingredient is a subclass of self connected object
s__domainSubclass(s__ingredientAmount__m,n__2,s__SelfConnectedObject)	Food.kif 69-69	The number 2 argument of amount of ingredient is a subclass of self connected object
s__domainSubclass(s__trafficableForTrafficType__m,n__2,s__SelfConnectedObject)	Transportation.kif 2612-2612	The number 2 argument of trafficable for traffic type is a subclass of self connected object
s__domainSubclass(s__transitwayCapacityCount__m,n__2,s__SelfConnectedObject)	Transportation.kif 3043-3043	The number 2 argument of transitway capacity count is a subclass of self connected object
s__domainSubclass(s__transitwayCapacityRate__m,n__2,s__SelfConnectedObject)	Transportation.kif 3053-3053	The number 2 argument of transitway capacity rate is a subclass of self connected object

antecedent

( ! [V__OBJ] : (((s__instance(V__OBJ,s__SelfConnectedObject) => ( ! [V__PART1, V__PART2] : (((s__instance(V__PART1,s__Object) & s__instance(V__PART2,s__Object)) => (((V__OBJ = s__MereologicalSumFn(V__PART1,V__PART2)) => (s__connected(V__PART1,V__PART2)))))))) & (( ! [V__PART1, V__PART2] : (((s__instance(V__PART1,s__Object) & s__instance(V__PART2,s__Object)) => (((V__OBJ = s__MereologicalSumFn(V__PART1,V__PART2)) => (s__connected(V__PART1,V__PART2))))))) => s__instance(V__OBJ,s__SelfConnectedObject))) ) )	Merge.kif 9109-9114	An object is an instance of self connected object if and only if for all another object and a third object if the object is equal to the union of the parts of the other object and the third object, then the other object is connected to the third object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2001-2013	If an entity is an instance of self connected object and a process is an instance of compressing and the entity is a patient of the process and the measure of the entity is a quantity another entity(s) holds during immediately before the time of existence of the process and the other entity is an instance of UnitOfVolume and the measure of the entity is another quantity the other entity(s) holds during immediately after the time of existence of the process, then the quantity is greater than the other quantity
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 144-169	If a real number an unit of measure(s) is a maximum payload capacity of a vehicle and the vehicle is maximum payload height width another real number another unit of measure(s) for a third real number a third unit of measure(s) and a self connected object is an instance of self connected object and a fourth real number the fourth real numberU(s) is a weight of the self connected object and the width of the self connected object is a fifth real number the fifth real numberU(s) and the height of the self connected object is a sixth real number the sixth real numberU(s) and the fourth real numberU is equal to the unit of measure and the fifth real numberU is equal to the third unit of measure and the sixth real numberU is equal to the other unit of measure and the fourth real number is less than or equal to the real number and the fifth real number is less than or equal to the third real number and the sixth real number is less than or equal to the other real number, then the vehicle is capable of doing the class described by a symbolic string as a instrument
( ! [V__COLL1,V__COLL2,V__MEMBER,V__COLL3,V__COLL4] : (((s__instance(V__COLL1,s__Collection) & s__instance(V__COLL2,s__Collection)) => (((s__meceCollection(V__COLL1,V__COLL2) & s__instance(V__COLL3,s__Collection) & s__instance(V__COLL4,s__Collection) & s__instance(V__MEMBER,s__SelfConnectedObject) & s__member(V__MEMBER,V__COLL1) & s__member(V__COLL3,V__COLL2) & s__member(V__COLL4,V__COLL2) & ~((V__COLL3 = V__COLL4))) => (~((s__member(V__MEMBER,V__COLL3) & s__member(V__MEMBER,V__COLL4))))))) ) )	UXExperimentalTerms.kif 4839-4853	If a collection and another collection are mutually exclusive and a third collection is an instance of collection and a fourth collection is an instance of collection and a physical is an instance of self connected object and the physical is a member of the collection and the third collection is a member of the other collection and the fourth collection is a member of the other collection and the third collection is not equal to the fourth collection, then ~{ the physical is a member of the third collection } or ~{ the physical is a member of the fourth collection }
( ! [V__COLL1,V__COLL2,V__MEMBER] : (((s__instance(V__COLL1,s__Collection) & s__instance(V__COLL2,s__Collection)) => (((s__meceCollection(V__COLL1,V__COLL2) & s__member(V__MEMBER,V__COLL1) & s__instance(V__MEMBER,s__SelfConnectedObject)) => (( ? [V__COLL3] : ((s__instance(V__COLL3,s__Collection) & s__member(V__MEMBER,V__COLL3) & s__member(V__COLL3,V__COLL2)))))))) ) )	UXExperimentalTerms.kif 4828-4837	If a collection and another collection are mutually exclusive and a physical is a member of the collection and the physical is an instance of self connected object, then there exists a third collection such that the third collection is an instance of collection and the physical is a member of the third collection and the third collection is a member of the other collection
( ! [V__COLL1,V__COLL2,V__MEMBER] : (((s__instance(V__COLL1,s__Collection) & s__instance(V__COLL2,s__Collection)) => (((s__meceCollection(V__COLL1,V__COLL2) & s__member(V__MEMBER,V__COLL2) & s__instance(V__MEMBER,s__SelfConnectedObject)) => (s__instance(V__MEMBER,s__Collection))))) ) )	UXExperimentalTerms.kif 4821-4826	If a collection and another collection are mutually exclusive and a physical is a member of the other collection and the physical is an instance of self connected object, then the physical is an instance of collection
( ! [V__OBJ] : ((s__instance(V__OBJ,s__SelfConnectedObject) => (s__side(s__BackFn(V__OBJ) ,V__OBJ))) ) )	Merge.kif 868-870	If a self connected object is an instance of self connected object, then a side of the self connected object is the back of the self connected object
( ! [V__OBJ] : ((s__instance(V__OBJ,s__SelfConnectedObject) => (s__side(s__FrontFn(V__OBJ) ,V__OBJ))) ) )	Merge.kif 849-851	If a self connected object is an instance of self connected object, then a side of the self connected object is the front of the self connected object

consequent

( ! [V__P1,V__P2,V__X,V__PM] : (((s__instance(V__P1,s__RealNumber) & s__instance(V__P2,s__RealNumber) & s__instance(V__X,s__Object) & s__instance(V__PM,s__UnitOfMeasure)) => ((s__attribute(V__X,s__PartialVacuum) => (( ? [V__O, V__G] : ((s__instance(V__O,s__SelfConnectedObject) & s__instance(V__G,s__Region) & ~((V__G = V__X)) & s__connected(V__X,V__O) & s__connected(V__G,V__O) & s__measure(V__G,s__MeasureFn(V__P1,V__PM)) & s__measure(V__X,s__MeasureFn(V__P2,V__PM)) & s__instance(V__PM,s__UnitOfAtmosphericPressure) & s__greaterThan(V__P1,V__P2)))))))) ) )	Cars.kif 383-396	If partial vacuum is an attribute of an object, then there exist another object and a third object such that the other object is an instance of self connected object and the third object is an instance of region and the third object is not equal to the object and the object is connected to the other object and the third object is connected to the other object and the measure of the third object is a real number an unit of measure(s) and the measure of the object is another real number the unit of measure(s) and the unit of measure is an instance of UnitOfAtmosphericPressure and the real number is greater than the other real number
( ! [V__P1,V__P2,V__X,V__PM] : (((s__instance(V__P1,s__RealNumber) & s__instance(V__P2,s__RealNumber) & s__instance(V__X,s__Object) & s__instance(V__PM,s__UnitOfMeasure)) => ((s__attribute(V__X,s__Pressurized) => (( ? [V__O, V__G] : ((s__instance(V__O,s__SelfConnectedObject) & s__instance(V__G,s__Region) & ~((V__G = V__X)) & s__connected(V__X,V__O) & s__connected(V__G,V__O) & s__measure(V__G,s__MeasureFn(V__P1,V__PM)) & s__measure(V__X,s__MeasureFn(V__P2,V__PM)) & s__instance(V__PM,s__UnitOfAtmosphericPressure) & s__greaterThan(V__P2,V__P1)))))))) ) )	Cars.kif 403-416	If pressurized is an attribute of an object, then there exist another object and a third object such that the other object is an instance of self connected object and the third object is an instance of region and the third object is not equal to the object and the object is connected to the other object and the third object is connected to the other object and the measure of the third object is a real number an unit of measure(s) and the measure of the object is another real number the unit of measure(s) and the unit of measure is an instance of UnitOfAtmosphericPressure and the other real number is greater than the real number
( ! [V__COMBINE] : ((s__instance(V__COMBINE,s__Combining) => (( ? [V__OBJ] : ((s__instance(V__OBJ,s__SelfConnectedObject) & s__patient(V__COMBINE,V__OBJ)))))) ) )	Merge.kif 11853-11858	If a process is an instance of combining, then there exists an entity such that the entity is an instance of self connected object and the entity is a patient of the process
( ! [V__LABEL] : ((s__instance(V__LABEL,s__Label) => (( ? [V__OBJ] : ((s__instance(V__OBJ,s__SelfConnectedObject) & s__connected(V__LABEL,V__OBJ) & s__refers(V__LABEL,V__OBJ)))))) ) )	Mid-level-ontology.kif 13058-13064	If an object is an instance of label, then there exists another object such that the other object is an instance of self connected object and the object is connected to the other object and the object includes a reference to the other object
( ! [V__SEPARATE] : ((s__instance(V__SEPARATE,s__Separating) => (( ? [V__OBJ] : ((s__instance(V__OBJ,s__SelfConnectedObject) & s__patient(V__SEPARATE,V__OBJ)))))) ) )	Merge.kif 11869-11874	If a process is an instance of separating, then there exists an entity such that the entity is an instance of self connected object and the entity is a patient of the process

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: