SelfConnectedObject - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SelfConnectedObject ChineseLanguage " SelfConnectedObject 是任何并非由两个或以上不相连部分所组成的 Object。")	chinese_format.kif 1555-1556
(documentation SelfConnectedObject EnglishLanguage "A SelfConnectedObject is any Object that does not consist of two or more disconnected parts.")	Merge.kif 858-859
(subclass SelfConnectedObject Object)	Merge.kif 856-856	subclass SelfConnectedObject and Object

appearance as argument number 2

(disjoint Collection SelfConnectedObject)	Merge.kif 1233-1233	disjoint Collection and SelfConnectedObject
(range BackFn SelfConnectedObject)	Merge.kif 893-893	range BackFn and SelfConnectedObject
(range FrontFn SelfConnectedObject)	Merge.kif 873-873	range FrontFn and SelfConnectedObject
(rangeSubclass FoodForFn SelfConnectedObject)	Merge.kif 14718-14718	rangeSubclass FoodForFn and SelfConnectedObject
(subclass BodyOfWater SelfConnectedObject)	Geography.kif 4402-4402	subclass BodyOfWater and SelfConnectedObject
(subclass CorpuscularObject SelfConnectedObject)	Merge.kif 1197-1197	subclass CorpuscularObject and SelfConnectedObject
(subclass Food SelfConnectedObject)	Merge.kif 14733-14733	subclass Food and SelfConnectedObject
(subclass Iceberg SelfConnectedObject)	Geography.kif 4632-4632	subclass Iceberg and SelfConnectedObject
(subclass OrganicThing SelfConnectedObject)	Merge.kif 861-861	subclass OrganicThing and SelfConnectedObject
(subclass Ramp SelfConnectedObject)	Mid-level-ontology.kif 2326-2326	subclass Ramp and SelfConnectedObject
(subclass ShipContainer SelfConnectedObject)	Transportation.kif 2574-2574	subclass ShipContainer and SelfConnectedObject
(subclass Substance SelfConnectedObject)	Merge.kif 1012-1012	subclass Substance and SelfConnectedObject
(subclass Transitway SelfConnectedObject)	Merge.kif 14128-14128	subclass Transitway and SelfConnectedObject
(termFormat ChineseLanguage SelfConnectedObject "自身连接物体")	chinese_format.kif 816-816
(termFormat EnglishLanguage SelfConnectedObject "self connected object")	english_format.kif 834-834

appearance as argument number 3

(domain BackFn 1 SelfConnectedObject)	Merge.kif 892-892	domain BackFn, 1 and SelfConnectedObject
(domain FrontFn 1 SelfConnectedObject)	Merge.kif 872-872	domain FrontFn, 1 and SelfConnectedObject
(domain approximateDiameter 1 SelfConnectedObject)	Mid-level-ontology.kif 17760-17760	domain approximateDiameter, 1 and SelfConnectedObject
(domain bottom 1 SelfConnectedObject)	Merge.kif 9650-9650	domain bottom, 1 and SelfConnectedObject
(domain bottom 2 SelfConnectedObject)	Merge.kif 9651-9651	domain bottom, 2 and SelfConnectedObject
(domain capacity 1 SelfConnectedObject)	Mid-level-ontology.kif 6640-6640	domain capacity, 1 and SelfConnectedObject
(domain contains 1 SelfConnectedObject)	Merge.kif 990-990	domain contains, 1 and SelfConnectedObject
(domain height 1 SelfConnectedObject)	Merge.kif 7489-7489	domain height, 1 and SelfConnectedObject
(domain hole 2 SelfConnectedObject)	Merge.kif 9796-9796	domain hole, 2 and SelfConnectedObject
(domain memberAtTime 1 SelfConnectedObject)	Mid-level-ontology.kif 22647-22647	domain memberAtTime, 1 and SelfConnectedObject
(domain onboard 1 SelfConnectedObject)	Mid-level-ontology.kif 17243-17243	domain onboard, 1 and SelfConnectedObject
(domain side 1 SelfConnectedObject)	Merge.kif 9680-9680	domain side, 1 and SelfConnectedObject
(domain side 2 SelfConnectedObject)	Merge.kif 9681-9681	domain side, 2 and SelfConnectedObject
(domain surface 1 SelfConnectedObject)	Merge.kif 9618-9618	domain surface, 1 and SelfConnectedObject
(domain surface 2 SelfConnectedObject)	Merge.kif 9619-9619	domain surface, 2 and SelfConnectedObject
(domain top 1 SelfConnectedObject)	Merge.kif 9665-9665	domain top, 1 and SelfConnectedObject
(domain top 2 SelfConnectedObject)	Merge.kif 9666-9666	domain top, 2 and SelfConnectedObject
(domain weight 1 SelfConnectedObject)	Merge.kif 7223-7223	domain weight, 1 and SelfConnectedObject
(domainSubclass ingredientAmount 1 SelfConnectedObject)	Food.kif 50-50	domainSubclass ingredientAmount, 1 and SelfConnectedObject
(domainSubclass ingredientAmount 2 SelfConnectedObject)	Food.kif 51-51	domainSubclass ingredientAmount, 2 and SelfConnectedObject
(domainSubclass trafficableForTrafficType 2 SelfConnectedObject)	Transportation.kif 2605-2605	domainSubclass trafficableForTrafficType, 2 and SelfConnectedObject
(domainSubclass transitwayCapacityCount 2 SelfConnectedObject)	Transportation.kif 3036-3036	domainSubclass transitwayCapacityCount, 2 and SelfConnectedObject
(domainSubclass transitwayCapacityRate 2 SelfConnectedObject)	Transportation.kif 3046-3046	domainSubclass transitwayCapacityRate, 2 and SelfConnectedObject

antecedent

(<=> (instance ?OBJ SelfConnectedObject) (forall (?PART1 ?PART2) (=> (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2)) (connected ?PART1 ?PART2))))	Merge.kif 9452-9457	instance Object and SelfConnectedObject Object Object equal Object and MereologicalSumFn Object and Object connected Object and Object
(=> (and (instance ?SCO SelfConnectedObject) (instance ?C Compressing) (patient ?C ?SCO) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (measure ?SCO (MeasureFn ?N1 ?V))) (instance ?V UnitOfVolume) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (measure ?SCO (MeasureFn ?N2 ?V)))) (greaterThan ?N1 ?N2))	Cars.kif 1987-1999	instance Entity and SelfConnectedObject instance Process and Compressing patient Process and Entity holdsDuring ImmediatePastFn WhenFn Process and measure Entity and MeasureFn RealNumber and Entity instance Entity and UnitOfVolume holdsDuring ImmediateFutureFn WhenFn Process and measure Entity and MeasureFn RealNumber and Entity greaterThan RealNumber and RealNumber
(=> (and (maximumPayloadCapacity ?V (MeasureFn ?WEIGHT ?UNITWEIGHT)) (maximumPayloadHeightWidth ?V (MeasureFn ?HEIGHT ?UNITHEIGHT) (MeasureFn ?WIDTH ?UNITWIDTH)) (instance ?O SelfConnectedObject) (weight ?O (MeasureFn ?WEO ?WEOU)) (width ?O (MeasureFn ?WO ?WOU)) (height ?O (MeasureFn ?HO ?HOU)) (equal ?WEOU ?UNITWEIGHT) (equal ?WOU ?UNITWIDTH) (equal ?HOU ?UNITHEIGHT) (lessThanOrEqualTo ?WEO ?WEIGHT) (lessThanOrEqualTo ?WO ?WIDTH) (lessThanOrEqualTo ?HO ?HEIGHT)) (capability (KappaFn ?TRANSPORT (and (instance ?TRANSPORT Transportation) (patient ?TRANSPORT ?O))) instrument ?V))	MilitaryDevices.kif 144-169	maximumPayloadCapacity Vehicle and MeasureFn RealNumber and UnitOfMeasure maximumPayloadHeightWidth Vehicle, MeasureFn RealNumber and UnitOfMeasure and MeasureFn RealNumber and UnitOfMeasure instance SelfConnectedObject and SelfConnectedObject weight SelfConnectedObject and MeasureFn RealNumber and RealNumberU width SelfConnectedObject and MeasureFn RealNumber and RealNumberU height SelfConnectedObject and MeasureFn RealNumber and RealNumberU equal RealNumberU and UnitOfMeasure equal RealNumberU and UnitOfMeasure equal RealNumberU and UnitOfMeasure lessThanOrEqualTo RealNumber and RealNumber lessThanOrEqualTo RealNumber and RealNumber lessThanOrEqualTo RealNumber and RealNumber capability KappaFn SymbolicString and instance SymbolicString and Transportation patient SymbolicString and SelfConnectedObject, instrument and Vehicle
(=> (and (meceCollection ?COLL1 ?COLL2) (instance ?COLL3 Collection) (instance ?COLL4 Collection) (instance ?MEMBER SelfConnectedObject) (member ?MEMBER ?COLL1) (member ?COLL3 ?COLL2) (member ?COLL4 ?COLL2) (not (equal ?COLL3 ?COLL4))) (not (and (member ?MEMBER ?COLL3) (member ?MEMBER ?COLL4))))	UXExperimentalTerms.kif 4843-4857	meceCollection Collection and Collection instance Collection and Collection instance Collection and Collection instance Physical and SelfConnectedObject member Physical and Collection member Collection and Collection member Collection and Collection equal Collection and Collection ~{ member Physical and Collection } ~{ member Physical and Collection }
(=> (and (meceCollection ?COLL1 ?COLL2) (member ?MEMBER ?COLL1) (instance ?MEMBER SelfConnectedObject)) (exists (?COLL3) (and (instance ?COLL3 Collection) (member ?MEMBER ?COLL3) (member ?COLL3 ?COLL2))))	UXExperimentalTerms.kif 4832-4841	meceCollection Collection and Collection member Physical and Collection instance Physical and SelfConnectedObject Collection instance Collection and Collection member Physical and Collection member Collection and Collection
(=> (and (meceCollection ?COLL1 ?COLL2) (member ?MEMBER ?COLL2) (instance ?MEMBER SelfConnectedObject)) (instance ?MEMBER Collection))	UXExperimentalTerms.kif 4825-4830	meceCollection Collection and Collection member Physical and Collection instance Physical and SelfConnectedObject instance Physical and Collection
(=> (instance ?OBJ SelfConnectedObject) (side (BackFn ?OBJ) ?OBJ))	Merge.kif 904-906	instance SelfConnectedObject and SelfConnectedObject side BackFn SelfConnectedObject and SelfConnectedObject
(=> (instance ?OBJ SelfConnectedObject) (side (FrontFn ?OBJ) ?OBJ))	Merge.kif 885-887	instance SelfConnectedObject and SelfConnectedObject side FrontFn SelfConnectedObject and SelfConnectedObject

consequent

(=> (attribute ?X PartialVacuum) (exists (?O ?G ?P1 ?P2 ?PM) (and (instance ?O SelfConnectedObject) (instance ?G Region) (not (equal ?G ?X)) (connected ?X ?O) (connected ?G ?O) (measure ?G (MeasureFn ?P1 ?PM)) (measure ?X (MeasureFn ?P2 ?PM)) (instance ?PM UnitOfAtmosphericPressure) (greaterThan ?P1 ?P2))))	Cars.kif 383-396	attribute Object and PartialVacuum Object Object, RealNumber, RealNumber and UnitOfMeasure instance Object and SelfConnectedObject instance Object and Region equal Object and Object connected Object and Object connected Object and Object measure Object and MeasureFn RealNumber and UnitOfMeasure measure Object and MeasureFn RealNumber and UnitOfMeasure instance UnitOfMeasure and UnitOfAtmosphericPressure greaterThan RealNumber and RealNumber
(=> (attribute ?X Pressurized) (exists (?O ?G ?P1 ?P2 ?PM) (and (instance ?O SelfConnectedObject) (instance ?G Region) (not (equal ?G ?X)) (connected ?X ?O) (connected ?G ?O) (measure ?G (MeasureFn ?P1 ?PM)) (measure ?X (MeasureFn ?P2 ?PM)) (instance ?PM UnitOfAtmosphericPressure) (greaterThan ?P2 ?P1))))	Cars.kif 403-416	attribute Object and Pressurized Object Object, RealNumber, RealNumber and UnitOfMeasure instance Object and SelfConnectedObject instance Object and Region equal Object and Object connected Object and Object connected Object and Object measure Object and MeasureFn RealNumber and UnitOfMeasure measure Object and MeasureFn RealNumber and UnitOfMeasure instance UnitOfMeasure and UnitOfAtmosphericPressure greaterThan RealNumber and RealNumber
(=> (instance ?COMBINE Combining) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (patient ?COMBINE ?OBJ))))	Merge.kif 12337-12342	instance Process and Combining Entity instance Entity and SelfConnectedObject patient Process and Entity
(=> (instance ?LABEL Label) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (connected ?LABEL ?OBJ) (refers ?LABEL ?OBJ))))	Mid-level-ontology.kif 14323-14329	instance Object and Label Object instance Object and SelfConnectedObject connected Object and Object refers Object and Object
(=> (instance ?SEPARATE Separating) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (patient ?SEPARATE ?OBJ))))	Merge.kif 12353-12358	instance Process and Separating Entity instance Entity and SelfConnectedObject patient Process and Entity

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: