connected - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__connected__m,s__ChineseLanguage,'"(connected ?OBJ1 ?OBJ2)的意思是 ?OBJ1 meetsSpatially ?OBJ2 或者是 ?OBJ1 overlapsSpatially ?OBJ2。"')	chinese_format.kif 2823-2824
s__documentation(s__connected__m,s__EnglishLanguage,'"(connected ?OBJ1 ?OBJ2) means that ?OBJ1 meetsSpatially ?OBJ2 or that ?OBJ1 overlapsSpatially ?OBJ2."')	Merge.kif 9100-9101
s__domain(s__connected__m,n__1,s__Object)	Merge.kif 9097-9097	The number 1 argument of connected is an instance of object
s__domain(s__connected__m,n__2,s__Object)	Merge.kif 9098-9098	The number 2 argument of connected is an instance of object
s__instance(s__connected__m,s__BinaryPredicate) s__instance(s__BinaryPredicate,s__SetOrClass)	Merge.kif 9093-9093	connected is an instance of binary predicate
s__instance(s__connected__m,s__ReflexiveRelation) s__instance(s__ReflexiveRelation,s__SetOrClass)	Merge.kif 9095-9095	connected is an instance of reflexive relation
s__instance(s__SpatialRelation,s__SetOrClass) s__instance(s__connected__m,s__SpatialRelation)	Merge.kif 9094-9094	connected is an instance of spatial relation
s__instance(s__SymmetricRelation,s__SetOrClass) s__instance(s__connected__m,s__SymmetricRelation)	Merge.kif 9096-9096	connected is an instance of symmetric relation

appearance as argument number 2

s__disjointRelation(s__crosses__m,s__connected__m)	Merge.kif 4063-4063	crosses and connected are disjoint
s__format(s__ChineseLanguage,s__connected__m,'"%1 和 %2 %n 是 connected"')	chinese_format.kif 361-361
s__format(s__EnglishLanguage,s__connected__m,'"%1 is %n connected to %2"')	english_format.kif 367-367
s__relatedInternalConcept(s__meetsSpatially__m,s__connected__m)	Merge.kif 9147-9147	meets spatially is internally related to connected
s__subrelation(s__connectedEngineeringComponents__m,s__connected__m)	Merge.kif 15324-15324	connected engineering components is a subrelation of connected
s__subrelation(s__flows__m,s__connected__m)	Geography.kif 5219-5219	flows is a subrelation of connected
s__subrelation(s__overlapsSpatially__m,s__connected__m)	Merge.kif 9157-9157	overlaps spatially is a subrelation of connected
s__termFormat(s__ChineseLanguage,s__connected__m,'"相连"')	chinese_format.kif 362-362
s__termFormat(s__ChineseLanguage,s__connected__m,'"连接的"')	domainEnglishFormat.kif 16629-16629
s__termFormat(s__ChineseTraditionalLanguage,s__connected__m,'"連接的"')	domainEnglishFormat.kif 16628-16628
s__termFormat(s__EnglishLanguage,s__connected__m,'"connected"')	domainEnglishFormat.kif 16627-16627

antecedent

( ! [V__OBJECT,V__BOTTOM,V__PART] : (((s__instance(V__OBJECT,s__SelfConnectedObject) & s__instance(V__BOTTOM,s__SelfConnectedObject) & s__instance(V__PART,s__Object)) => (((s__bottom(V__BOTTOM,V__OBJECT) & s__part(V__PART,V__OBJECT) & ~(s__connected(V__PART,V__BOTTOM))) => (s__orientation(V__PART,V__BOTTOM,s__Above))))) ) )	Merge.kif 9286-9291	If the bottom of a self connected object is another self connected object and an object is a part of the self connected object and the object is not connected to the other self connected object, then the object is above to the other self connected object
( ! [V__X,V__Y,V__Z] : (((s__instance(V__X,s__Object) & s__instance(V__Y,s__Object) & s__instance(V__Z,s__Object)) => (((s__connected(V__X,V__Y) & s__part(V__Y,V__Z)) => (s__connected(V__X,V__Z))))) ) )	Geography.kif 514-518	If an object is connected to another object and the other object is a part of a third object, then the object is connected to the third object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11761-11775	If a process is an instance of attaching and an entity is a patient of the process and another entity is a patient of the process and the entity is not connected to the other entity holds during the beginning of the time of existence of the process and the entity is connected to the other entity holds during the end of the time of existence of the process, then the process attaches the entity to another object and the process attaches the other entity to another object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9585-9601	If an object is an instance of BodySegment and another object is an instance of BodySegment and the object is connected to the other object and a motion is an instance of body motion and the object moves during the motion, then the statement there doesn't exist the motion2 such that the motion2 is an instance of body motion and the other object moves during the motion2 and the time of existence of the motion2 takes place during the time of existence of the motion has the modal force of possibility
( ! [V__CHANNEL,V__BODY] : (((s__instance(V__CHANNEL,s__Channel) & s__instance(V__BODY,s__BodyOfWater) & s__connected(V__CHANNEL,V__BODY)) => (s__larger(V__BODY,V__CHANNEL))) ) )	Geography.kif 5114-5119	If an object is an instance of channel and another object is an instance of body of water and the object is connected to the other object, then the other object is larger than the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11809-11818	If a process is an instance of detaching and an entity is a patient of the process and another entity is a patient of the process and the entity is connected to the other entity holds during the beginning of the time of existence of the process and the entity is not connected to the other entity holds during the end of the time of existence of another process, then the other process detaches the entity from another object and the other process detaches the other entity from another object
( ! [V__L1,V__L2] : (((s__instance(V__L1,s__Object) & s__attribute(V__L1,s__LongAndThin) & s__instance(V__L2,s__Object) & s__attribute(V__L2,s__LongAndThin) & s__connected(V__L1,V__L2) & ~((V__L1 = V__L2))) => (( ? [V__M] : ((s__instance(V__M,s__PlaneAngleMeasure) & s__relativeAngle(V__L1,V__L2,V__M)))))) ) )	Merge.kif 17060-17070	If an object is an instance of object and long and thin is an attribute of the object and another object is an instance of object and long and thin is an attribute of the other object and the object is connected to the other object and the object is not equal to the other object, then there exists a plane angle measure such that the relative angle between the object and the other object is the plane angle measure
( ! [V__WATER1,V__WATER2,V__SYSTEM] : (((s__instance(V__SYSTEM,s__InlandWaterSystem) & s__instance(V__WATER1,s__WaterArea) & s__instance(V__WATER2,s__WaterArea) & ~((V__WATER1 = V__WATER2)) & ~(s__connected(V__WATER1,V__WATER2)) & s__geographicSubregion(V__WATER1,V__SYSTEM) & s__geographicSubregion(V__WATER2,V__SYSTEM)) => (( ? [V__WATER3] : ((s__instance(V__WATER3,s__WaterArea) & ~((V__WATER3 = V__WATER1)) & ~((V__WATER3 = V__WATER1)) & s__part(V__WATER3,V__SYSTEM) & s__connects(V__WATER3,V__WATER1,V__WATER2)))))) ) )	Geography.kif 5164-5179	If a geographic area is an instance of inland water system and another geographic area is an instance of water area and a third geographic area is an instance of water area and the other geographic area is not equal to the third geographic area and the other geographic area is not connected to the third geographic area and the other geographic area is a geographic subregion of the geographic area and the third geographic area is a geographic subregion of the geographic area, then there exists an object such that the object is an instance of water area and the object is not equal to the other geographic area and the object is not equal to the other geographic area and the object is a part of the geographic area and the object connects the other geographic area and the third geographic area
( ! [V__OBJ1,V__HOLE,V__OBJ2] : (((s__instance(V__OBJ1,s__Object) & s__instance(V__HOLE,s__Hole) & s__instance(V__OBJ2,s__Object)) => (((s__properlyFills(V__OBJ1,V__HOLE) & s__connected(V__OBJ2,V__OBJ1)) => (s__connected(V__HOLE,V__OBJ2))))) ) )	Merge.kif 9623-9627	If an object properly fills a hole and another object is connected to the object, then the hole is connected to the other object
( ! [V__OBJECT,V__SIDE,V__PART] : (((s__instance(V__OBJECT,s__SelfConnectedObject) & s__instance(V__SIDE,s__SelfConnectedObject) & s__instance(V__PART,s__Object)) => (((s__side(V__SIDE,V__OBJECT) & s__part(V__PART,V__OBJECT) & ~(s__connected(V__PART,V__SIDE))) => (( ? [V__DIRECT] : ((s__instance(V__DIRECT,s__PositionalAttribute) & s__orientation(V__SIDE,V__PART,V__DIRECT)))))))) ) )	Merge.kif 9316-9322	If a side of a self connected object is another self connected object and an object is a part of the self connected object and the object is not connected to the other self connected object, then there exists a positional attribute such that the other self connected object is the positional attribute to the object
( ! [V__OBJECT,V__TOP,V__PART] : (((s__instance(V__OBJECT,s__SelfConnectedObject) & s__instance(V__TOP,s__SelfConnectedObject) & s__instance(V__PART,s__Object)) => (((s__top(V__TOP,V__OBJECT) & s__part(V__PART,V__OBJECT) & ~(s__connected(V__PART,V__TOP))) => (s__orientation(V__PART,V__TOP,s__Below))))) ) )	Merge.kif 9301-9306	If the top of a self connected object is another self connected object and an object is a part of the self connected object and the object is not connected to the other self connected object, then the object is below to the other self connected object
( ! [V__OBJ1,V__OBJ2] : (((s__instance(V__OBJ1,s__Object) & s__instance(V__OBJ2,s__Object)) => ((s__connected(V__OBJ1,V__OBJ2) => ((s__meetsSpatially(V__OBJ1,V__OBJ2) \| s__overlapsSpatially(V__OBJ1,V__OBJ2)))))) ) )	Merge.kif 9103-9107	If an object is connected to another object, then the object meets the other object or the object and the other object is overlapsSpatially

consequent

( ! [V__OBJ1,V__OBJ2,V__OBJ3] : (((s__instance(V__OBJ1,s__Object) & s__instance(V__OBJ2,s__Object) & s__instance(V__OBJ3,s__Object)) => (((s__connects(V__OBJ1,V__OBJ2,V__OBJ3) => (s__connected(V__OBJ1,V__OBJ2) & s__connected(V__OBJ1,V__OBJ3) & ~(s__connected(V__OBJ2,V__OBJ3)))) & ((s__connected(V__OBJ1,V__OBJ2) & s__connected(V__OBJ1,V__OBJ3) & ~(s__connected(V__OBJ2,V__OBJ3))) => s__connects(V__OBJ1,V__OBJ2,V__OBJ3))))) ) )	Merge.kif 9131-9137	An object connects another object and a third object if and only if the object is connected to the other object and the object is connected to the third object and the other object is not connected to the third object
( ! [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
( ! [V__OBJ1,V__OBJ2] : (((s__instance(V__OBJ1,s__Object) & s__instance(V__OBJ2,s__Object)) => (((s__orientation(V__OBJ1,V__OBJ2,s__Adjacent) => (s__orientation(V__OBJ1,V__OBJ2,s__Near) \| s__connected(V__OBJ1,V__OBJ2))) & ((s__orientation(V__OBJ1,V__OBJ2,s__Near) \| s__connected(V__OBJ1,V__OBJ2)) => s__orientation(V__OBJ1,V__OBJ2,s__Adjacent))))) ) )	Merge.kif 16316-16320	An object is adjacent to another object if and only if the object is near to the other object or the object is connected to the other object
( ! [V__X,V__Y,V__Z] : (((s__instance(V__X,s__Object) & s__instance(V__Y,s__Object) & s__instance(V__Z,s__Object)) => (((s__connected(V__X,V__Y) & s__part(V__Y,V__Z)) => (s__connected(V__X,V__Z))))) ) )	Geography.kif 514-518	If an object is connected to another object and the other object is a part of a third object, then the object is connected to the third object
( ! [V__A,V__B,V__G,V__H] : (((s__subclass(V__A,s__BodyPart) & s__instance(V__A,s__Class) & s__subclass(V__B,s__BodyPart) & s__instance(V__B,s__Class) & s__instance(V__G,s__Object) & s__instance(V__H,s__Object)) => (((s__connectedBodyPart(V__A,V__B) & s__attribute(V__H,s__Healthy)) => (( ? [V__AI, V__BI] : ((s__instance(V__AI,s__Object) & s__instance(V__BI,s__Object) & (s__instance(V__AI,V__A) & s__instance(V__BI,V__B) & s__part(V__AI,V__G) & s__part(V__BI,V__H) & s__connected(V__AI,V__BI))))))))) ) )	Mid-level-ontology.kif 10918-10928	If a %1 is connected to a %2 a kind of body part and another kind of body part and Healthy is an attribute of an object, then there exist a kind of body partI and another kind of body partI such that the kind of body partI is an instance of the kind of body part and the other kind of body partI is an instance of the other kind of body part and the kind of body partI is a part of a fourth object and the other kind of body partI is a part of the object and the kind of body partI is connected to the other kind of body partI
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11738-11745	If a process is an instance of attaching and an entity is a patient of the process and another entity is a patient of the process, then the entity is not connected to the other entity holds during the beginning of the time of existence of the process and the entity is connected to the other entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11786-11793	If a process is an instance of detaching and an entity is a patient of the process and another entity is a patient of the process, then the entity is connected to the other entity holds during the beginning of the time of existence of the process and the entity is not connected to the other entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Media.kif 690-700	If a process is an instance of data saving and an object is a resource for the process and the object is an instance of ElectronicDataStorageDevice, then there exists another object such that the other object is an instance of electric device and the other object is an instrument for the process and the object is connected to the other object holds during the time of existence of the process
( ! [V__E,V__BP] : ((s__instance(V__BP,s__Object) => (((s__instance(V__E,s__Extension) & s__moves(V__E,V__BP)) => (( ? [V__M, V__MC] : ((s__instance(V__M,s__Muscle) & s__instance(V__MC,s__MuscularContraction) & s__instrument(V__E,V__M) & s__connected(V__M,V__BP) & s__subProcess(V__MC,V__E)))))))) ) )	Mid-level-ontology.kif 9655-9665	If a motion is an instance of Extension and an object moves during the motion, then there exist another object and the other objectC such that the other object is an instance of muscle and the other objectC is an instance of MuscularContraction and the other object is an instrument for the motion and the other object is connected to the object and the other objectC is a subprocess of the motion
( ! [V__F,V__BP] : ((s__instance(V__BP,s__Object) => (((s__instance(V__F,s__Flexion) & s__moves(V__F,V__BP)) => (( ? [V__M, V__MC] : ((s__instance(V__M,s__Muscle) & s__instance(V__MC,s__MuscularContraction) & s__instrument(V__F,V__M) & s__connected(V__M,V__BP) & s__subProcess(V__MC,V__F)))))))) ) )	Mid-level-ontology.kif 9615-9625	If a motion is an instance of Flexion and an object moves during the motion, then there exist another object and the other objectC such that the other object is an instance of muscle and the other objectC is an instance of MuscularContraction and the other object is an instrument for the motion and the other object is connected to the object and the other objectC is a subprocess of the motion
( ! [V__PORT] : (((s__instance(V__PORT,s__PortFacility) & s__capability(s__ShipBerthing,s__patient__m,V__PORT)) => (( ? [V__HARBOR] : ((s__instance(V__HARBOR,s__Harbor) & s__connected(V__HARBOR,V__PORT) & s__capability(s__ShipBerthing,s__path__m,V__HARBOR)))))) ) )	Transportation.kif 2956-2964	If an object is an instance of port facility and the object is capable of doing ship berthing as a patient, then there exists another object such that the other object is an instance of harbor and the other object is connected to the object and the other object is capable of doing ship berthing as a path
( ! [V__WATER,V__RIVER] : (((s__instance(V__RIVER,s__River) & s__instance(V__WATER,s__BodyOfWater) & s__flows(V__RIVER,V__WATER)) => (( ? [V__MOUTH] : ((s__instance(V__MOUTH,s__RiverMouth) & s__streamOutfall(V__MOUTH,V__RIVER) & s__connected(V__MOUTH,V__WATER)))))) ) )	Geography.kif 5443-5452	If a river is an instance of river and an object is an instance of body of water and the object is a flows of the river, then there exists a water area such that the water area is an instance of river mouth and the water area is the outfall of the river and the water area is connected to the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10958-10965	If a process is an instance of touching and an agent is an agent of the process and an entity is a patient of the process, then the agent is not connected to the entity holds during the beginning of the time of existence of the process and the agent is connected to the entity holds during the end of the time of existence of the process
( ! [V__V,V__W] : (((s__instance(V__W,s__VehicleWheel) & s__instance(V__V,s__RoadVehicle) & s__part(V__W,V__V)) => (( ? [V__A] : ((s__instance(V__A,s__Axle) & s__component(V__A,V__V) & s__connected(V__W,V__A)))))) ) )	Mid-level-ontology.kif 3472-3481	If an object is an instance of vehicle wheel and a corpuscular object is an instance of road vehicle and the object is a part of the corpuscular object, then there exists another corpuscular object such that the other corpuscular object is an instance of axle and the other corpuscular object is a component of the corpuscular object and the object is connected to the other corpuscular object
( ! [V__OBJ1,V__HOLE,V__OBJ2] : (((s__instance(V__OBJ1,s__Object) & s__instance(V__HOLE,s__Hole) & s__instance(V__OBJ2,s__Object)) => (((s__properlyFills(V__OBJ1,V__HOLE) & s__connected(V__OBJ2,V__OBJ1)) => (s__connected(V__HOLE,V__OBJ2))))) ) )	Merge.kif 9623-9627	If an object properly fills a hole and another object is connected to the object, then the hole is connected to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2635-2651	If locked is an attribute of an object, then there exist another object, a process and an entity such that the other object is an instance of lock and the other object is connected to the object and the process is an instance of closing and the other object is a patient of the process and the entity is an instance of motion and the time of existence of the process happens earlier than the time of existence of locked is an attribute of the object and the statement the object is a patient of the entity doesn't have the modal force of possibility holds during the time of existence of locked is an attribute of the object
( ! [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__OBJ1,V__HOLE] : (((s__instance(V__OBJ1,s__Object) & s__instance(V__HOLE,s__Object)) => ((s__completelyFills(V__OBJ1,V__HOLE) => (( ! [V__OBJ2] : ((s__instance(V__OBJ2,s__Object) => ((s__connected(V__OBJ2,V__HOLE) => (s__connected(V__OBJ2,V__OBJ1))))))))))) ) )	Merge.kif 9616-9621	If an object completely fills another object, then for all a third object if the third object is connected to the other object, then the third object is connected to the object
( ! [V__O,V__T] : (((s__instance(V__O,s__Artifact) & s__instance(V__T,s__Device) & s__instance(V__T,s__Class)) => ((s__equipmentType(V__O,V__T) => (( ? [V__D] : ((s__instance(V__D,s__Object) & (s__instance(V__D,V__T) & (s__part(V__D,V__O) \| s__connected(V__D,V__O)))))))))) ) )	Mid-level-ontology.kif 23003-23010	If a device is an equipment type of an artifact, then there exists an object such that the object is an instance of the device and the object is a part of the artifact or the object is connected to the artifact
( ! [V__FLUID1,V__FLUID2] : (((s__instance(V__FLUID1,s__Object) & s__instance(V__FLUID2,s__Object)) => ((s__flows(V__FLUID1,V__FLUID2) => (s__connected(V__FLUID1,V__FLUID2))))) ) )	Geography.kif 5225-5227	If an object is a flows of another object, then the other object is connected to the object
( ! [V__OBJ,V__HOLE] : (((s__instance(V__OBJ,s__SelfConnectedObject) & s__instance(V__HOLE,s__Hole)) => ((s__hole(V__HOLE,V__OBJ) => (s__connected(V__HOLE,V__OBJ))))) ) )	Merge.kif 9503-9505	If a hole is a hole in a self connected object, then the hole is connected to the self connected object
( ! [V__F] : ((s__instance(V__F,s__Fireplace) => (( ? [V__C] : ((s__instance(V__C,s__Chimney) & s__connected(V__F,V__C)))))) ) )	Mid-level-ontology.kif 14182-14187	If an object is an instance of fireplace, then there exists another object such that the other object is an instance of chimney and the object is connected to the other object
( ! [V__GULF] : ((s__instance(V__GULF,s__Gulf) => (( ? [V__SEA] : (((s__instance(V__SEA,s__Sea) \| s__instance(V__SEA,s__Ocean)) & s__connected(V__GULF,V__SEA)))))) ) )	Geography.kif 4913-4920	If an object is an instance of gulf, then there exists another object such that the other object is an instance of sea or the other object is an instance of ocean and the object is connected to the other object
( ! [V__INLET] : ((s__instance(V__INLET,s__Inlet) => (( ? [V__WATER] : ((s__instance(V__WATER,s__WaterArea) & s__connected(V__INLET,V__WATER)))))) ) )	Geography.kif 5016-5021	If an object is an instance of inlet, then there exists another object such that the other object is an instance of water area and the object is connected to the other object

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

s__connected(s__GulfOfAden,s__ArabianSea)	Geography.kif 4953-4953	Gulf of aden is connected to arabian sea
s__connected(s__GulfOfMexico,s__CaribbeanSea)	Geography.kif 4961-4961	GulfOfMexico is connected to caribbean sea
s__connected(s__GulfOfMexico,s__NorthAtlanticOcean)	Geography.kif 4960-4960	GulfOfMexico is connected to north atlantic ocean
s__connected(s__GulfOfOman,s__ArabianSea)	Geography.kif 4945-4945	Gulf of oman is connected to arabian sea
s__connected(s__IndianOcean,s__PersianGulf)	Geography.kif 4446-4446	Indian ocean is connected to persian gulf
s__connected(s__IndianOcean,s__SouthPacificOcean)	Geography.kif 4445-4445	Indian ocean is connected to south pacific ocean
s__connected(s__IndianOcean,s__SouthernOcean)	Geography.kif 4447-4447	Indian ocean is connected to southern ocean
s__connected(s__MississippiRiver,s__GulfOfMexico)	CountriesAndRegions.kif 744-744	Mississippi river is connected to GulfOfMexico
s__connected(s__PersianGulf,s__StraitOfHormuz)	Geography.kif 4938-4938	Persian gulf is connected to strait of hormuz
s__connected(s__RedSea,s__GulfOfAden)	Geography.kif 4952-4952	Red sea is connected to gulf of aden
s__connected(s__StraitOfHormuz,s__GulfOfOman)	Geography.kif 4944-4944	Strait of hormuz is connected to gulf of oman

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: