TreeView Knowledge Base Browser

appearance as argument number 1

(documentation connected ChineseLanguage "(connected ?OBJ1 ?OBJ2)的意思是 ?OBJ1 meetsSpatially ?OBJ2 或者是 ?OBJ1 overlapsSpatially ?OBJ2。")	chinese_format.kif 2823-2824
(documentation connected EnglishLanguage "(connected ?OBJ1 ?OBJ2) means that ?OBJ1 meetsSpatially ?OBJ2 or that ?OBJ1 overlapsSpatially ?OBJ2.")	Merge.kif 9642-9643
(documentation connected JapaneseLanguage "(connected ?OBJ1 ?OBJ2) とは、?OBJ1 meetsSpatially ?OBJ2または ?OBJ1 overlapsSpatially ?OBJ2 という意味である。")	japanese_format.kif 1565-1566
(domain connected 1 Object)	Merge.kif 9639-9639	The number 1 argument of connected is an instance of object
(domain connected 2 Object)	Merge.kif 9640-9640	The number 2 argument of connected is an instance of object
(instance connected BinaryPredicate)	Merge.kif 9635-9635	connected is an instance of binary predicate
(instance connected ReflexiveRelation)	Merge.kif 9637-9637	connected is an instance of reflexive relation
(instance connected SpatialRelation)	Merge.kif 9636-9636	connected is an instance of spatial relation
(instance connected SymmetricRelation)	Merge.kif 9638-9638	connected is an instance of symmetric relation

appearance as argument number 2

(disjointRelation crosses connected)	Merge.kif 4225-4225	crosses and connected are disjoint
(format ChineseLanguage connected "%1 和 %2 %n 是 connected")	chinese_format.kif 361-361	crosses and connected are disjoint
(format EnglishLanguage connected "%1 is %n connected to %2")	english_format.kif 364-364	crosses and connected are disjoint
(format FrenchLanguage connected "%1 est %n connect� � %2")	french_format.kif 209-209	crosses and connected are disjoint
(format ItalianLanguage connected "%1 è %n connesso a %2")	relations-it.txt 52-52	crosses and connected are disjoint
(format JapaneseLanguage connected "%1 は %2 と connected して %n ")	japanese_format.kif 2016-2016	crosses and connected are disjoint
(format PortugueseLanguage connected "%1 e' %n conectado com %2")	portuguese_format.kif 161-161	crosses and connected are disjoint
(format cb connected "%1 %n ay ikabit sa %2")	relations-cb.txt 86-86	crosses and connected are disjoint
(format cz connected "%1 %p{je} %n{nen�} spojen s %2")	relations-cz.txt 216-216	crosses and connected are disjoint
(format de connected "%1 wird an %2 %n{nicht} angeschlossen")	relations-de.txt 480-480	crosses and connected are disjoint
(format hi connected "%1 %2 se judaa huaa %n hai")	relations-hindi.txt 93-93	crosses and connected are disjoint
(format ro connected "%1 %n{nu} este connected%t{îmbinat} cu %2")	relations-ro.kif 229-229	crosses and connected are disjoint
(format sv connected "%1 är %n{inte} sammanlänkad med %2")	relations-sv.txt 226-226	crosses and connected are disjoint
(format tg connected "%1 %n ay nagkabit sa %2")	relations-tg.txt 120-120	crosses and connected are disjoint
(relatedInternalConcept meetsSpatially connected)	Merge.kif 9706-9706	meets spatially is internally related to connected
(subrelation connectedEngineeringComponents connected)	Merge.kif 16271-16271	connected engineering components is a subrelation of connected
(subrelation overlapsSpatially connected)	Merge.kif 4049-4049	overlap spatially is a subrelation of connected
(termFormat ChineseLanguage connected "相连")	chinese_format.kif 362-362	overlap spatially is a subrelation of connected
(termFormat ChineseLanguage connected "连接的")	domainEnglishFormat.kif 16647-16647	overlap spatially is a subrelation of connected
(termFormat ChineseTraditionalLanguage connected "連接的")	domainEnglishFormat.kif 16646-16646	overlap spatially is a subrelation of connected
(termFormat EnglishLanguage connected "connected")	domainEnglishFormat.kif 16645-16645	overlap spatially is a subrelation of connected
(termFormat de connected "angeschlossen")	terms-de.txt 149-149	overlap spatially is a subrelation of connected

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (and (bottom ?BOTTOM ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?BOTTOM))) (orientation ?PART ?BOTTOM Above))	Merge.kif 9853-9858	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
(=> (and (connected ?OBJ1 ?OBJ2) (connected ?OBJ1 ?OBJ3) (not (connected ?OBJ2 ?OBJ3))) (connects ?OBJ1 ?OBJ2 ?OBJ3))	Merge.kif 9690-9696	If an object is connected to another object and the object is connected to a third object and the other object is not connected to the third object, then the object connects the other object and the third object
(=> (and (connected ?X ?Y) (part ?Y ?Z)) (connected ?X ?Z))	Geography.kif 684-688	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
(=> (and (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2)) (connected ?PART1 ?PART2)) (instance ?OBJ SelfConnectedObject))	Merge.kif 9657-9661	If equal an object and the union of the parts of another object and a third object and the other object is connected to the third object, then the object is an instance of self connected object
(=> (and (instance ?A Attaching) (patient ?A ?O1) (patient ?A ?O2) (holdsDuring (BeginFn (WhenFn ?A)) (not (connected ?O1 ?O2))) (holdsDuring (EndFn (WhenFn ?A)) (connected ?O1 ?O2))) (and (objectAttached ?A ?O1) (objectAttached ?A ?O2)))	Merge.kif 12535-12549	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
(=> (and (instance ?BS1 BodySegment) (instance ?BS2 BodySegment) (connected ?BS1 ?BS2) (instance ?BM BodyMotion) (moves ?BM ?BS1)) (modalAttribute (not (exists (?BM2) (and (instance ?BM2 BodyMotion) (moves ?BM2 ?BS2) (during (WhenFn ?BM2) (WhenFn ?BM))))) Possibility))	Mid-level-ontology.kif 11908-11924	If an object is an instance of body segment and another object is an instance of body segment 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
(=> (and (instance ?CHANNEL Channel) (instance ?BODY BodyOfWater) (connected ?CHANNEL ?BODY)) (larger ?BODY ?CHANNEL))	Geography.kif 5633-5638	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
(=> (and (instance ?D Detaching) (patient ?D ?O1) (patient ?D ?O2) (holdsDuring (BeginFn (WhenFn ?D)) (connected ?O1 ?O2)) (holdsDuring (EndFn (WhenFn ?A)) (not (connected ?O1 ?O2)))) (and (objectDetached ?A ?O1) (objectDetached ?A ?O2)))	Merge.kif 12585-12594	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
(=> (and (instance ?L1 Object) (attribute ?L1 LongAndThin) (instance ?L2 Object) (attribute ?L2 LongAndThin) (connected ?L1 ?L2) (not (equal ?L1 ?L2))) (exists (?M) (relativeAngle ?L1 ?L2 ?M)))	Merge.kif 18065-18075	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 equal the object and the other object, then there exists a real number such that the relative angle between the object and the other object is the real number
(=> (and (instance ?SYSTEM InlandWaterSystem) (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (not (equal ?WATER1 ?WATER2)) (not (connected ?WATER1 ?WATER2)) (geographicSubregion ?WATER1 ?SYSTEM) (geographicSubregion ?WATER2 ?SYSTEM)) (exists (?WATER3) (and (instance ?WATER3 WaterArea) (not (equal ?WATER3 ?WATER1)) (not (equal ?WATER3 ?WATER1)) (part ?WATER3 ?SYSTEM) (connects ?WATER3 ?WATER1 ?WATER2))))	Geography.kif 5683-5698	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 equal the other geographic area and 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 equal the object and the other geographic area and equal the object and 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
(=> (and (properlyFills ?OBJ1 ?HOLE) (connected ?OBJ2 ?OBJ1)) (connected ?HOLE ?OBJ2))	Merge.kif 10186-10190	If an object properly fills a hole and another object is connected to the object, then the hole is connected to the other object
(=> (and (side ?SIDE ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?SIDE))) (exists (?DIRECT) (orientation ?SIDE ?PART ?DIRECT)))	Merge.kif 9883-9890	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
(=> (and (top ?TOP ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?TOP))) (orientation ?PART ?TOP Below))	Merge.kif 9868-9873	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
(=> (connected ?OBJ1 ?OBJ2) (or (meetsSpatially ?OBJ1 ?OBJ2) (overlapsSpatially ?OBJ1 ?OBJ2)))	Merge.kif 9645-9649	If an object is connected to another object, then the object meets the other object or the object and the other object overlapsSpatially

consequent

(<=> (orientation ?OBJ1 ?OBJ2 Adjacent) (or (orientation ?OBJ1 ?OBJ2 Near) (connected ?OBJ1 ?OBJ2)))	Merge.kif 17278-17282	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
(=> (and (connected ?X ?Y) (part ?Y ?Z)) (connected ?X ?Z))	Geography.kif 684-688	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
(=> (and (connectedBodyPart ?A ?B) (attribute ?H Healthy)) (exists (?AI ?BI) (and (instance ?AI ?A) (instance ?BI ?B) (part ?AI ?H) (part ?BI ?H) (connected ?AI ?BI))))	Mid-level-ontology.kif 13298-13308	If a a kind of body part is connected to a 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 the 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
(=> (and (connectedBodyPartTypes ?P1 ?P2 ?O) (instance ?OC ?O) (not (attribute ?H DiseaseOrSyndrome))) (exists (?PC1 ?PC2) (and (instance ?PC1 ?P1) (instance ?PC2 ?P2) (not (equal ?PC1 ?PC2)) (part ?PC1 ?OC) (part ?PC2 ?OC) (connected ?PC1 ?PC2))))	Anatomy.kif 32-46	If connected body parts a kind of body part, another kind of body part and a kind of organism and a kind of organismC is an instance of the kind of organism and disease or syndrome is not an attribute of another object, then there exist a third object and a fourth object such that the third object is an instance of a kind of body part and the fourth object is an instance of another kind of body part and equal the third object and the fourth object and the third object is a part of the kind of organismC and the fourth object is a part of the kind of organismC and the third object is connected to the fourth object
(=> (and (instance ?ATTACH Attaching) (patient ?ATTACH ?OBJ1) (patient ?ATTACH ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?ATTACH)) (not (connected ?OBJ1 ?OBJ2))) (holdsDuring (EndFn (WhenFn ?ATTACH)) (connected ?OBJ1 ?OBJ2))))	Merge.kif 12510-12517	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
(=> (and (instance ?DETACH Detaching) (patient ?DETACH ?OBJ1) (patient ?DETACH ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?DETACH)) (connected ?OBJ1 ?OBJ2)) (holdsDuring (EndFn (WhenFn ?DETACH)) (not (connected ?OBJ1 ?OBJ2)))))	Merge.kif 12560-12567	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
(=> (and (instance ?DSAVE DataSaving) (resource ?DSAVE ?RES) (instance ?RES ElectronicDataStorageDevice)) (exists (?DEV) (and (instance ?DEV ElectricDevice) (instrument ?DSAVE ?DEV) (holdsDuring (WhenFn ?DSAVE) (connected ?RES ?DEV)))))	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 electronic data storage device, 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
(=> (and (instance ?E Extension) (moves ?E ?BP)) (exists (?M ?MC) (and (instance ?M Muscle) (instance ?MC MuscularContraction) (instrument ?E ?M) (connected ?M ?BP) (subProcess ?MC ?E))))	Mid-level-ontology.kif 11978-11988	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 muscular contraction 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
(=> (and (instance ?F Flexion) (moves ?F ?BP)) (exists (?M ?MC) (and (instance ?M Muscle) (instance ?MC MuscularContraction) (instrument ?F ?M) (connected ?M ?BP) (subProcess ?MC ?F))))	Mid-level-ontology.kif 11938-11948	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 muscular contraction 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
(=> (and (instance ?OBJ SelfConnectedObject) (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2))) (connected ?PART1 ?PART2))	Merge.kif 9651-9655	If an object is an instance of self connected object and equal the object and the union of the parts of another object and a third object, then the other object is connected to the third object
(=> (and (instance ?PORT PortFacility) (capability ShipBerthing patient ?PORT)) (exists (?HARBOR) (and (instance ?HARBOR Harbor) (connected ?HARBOR ?PORT) (capability ShipBerthing path ?HARBOR))))	Transportation.kif 3787-3795	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
(=> (and (instance ?R CervicalVertebraBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (exists (?S) (and (instance ?S CervicalVertebraBone) (not (equal ?S ?R)) (part ?S ?H) (connected ?S ?R))))	Anatomy.kif 576-589	If an object is an instance of cervical vertebra bone and the object is a part of another object and the other object is an instance of human and disease or syndrome is not an attribute of the other object, then there exists a third object such that the third object is an instance of cervical vertebra bone and equal the third object and the object and the third object is a part of the other object and the third object is connected to the object
(=> (and (instance ?R FalseRibBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (not (exists (?S) (and (instance ?S Sternum) (part ?S ?H) (connected ?S ?R)))))	Anatomy.kif 520-532	If an object is an instance of costae spuriae and the object is a part of another object and the other object is an instance of human and disease or syndrome is not an attribute of the other object, then there doesn't exist a third object such that the third object is an instance of sternum and the third object is a part of the other object and the third object is connected to the object
(=> (and (instance ?R LumbarVertebraBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (exists (?S) (and (instance ?S LumbarVertebraBone) (not (equal ?S ?R)) (part ?S ?H) (connected ?S ?R))))	Anatomy.kif 616-629	If an object is an instance of lumbar vertebra bone and the object is a part of another object and the other object is an instance of human and disease or syndrome is not an attribute of the other object, then there exists a third object such that the third object is an instance of lumbar vertebra bone and equal the third object and the object and the third object is a part of the other object and the third object is connected to the object
(=> (and (instance ?R ThoracicVertebraBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (exists (?S) (and (instance ?S ThoracicVertebraBone) (not (equal ?S ?R)) (part ?S ?H) (connected ?S ?R))))	Anatomy.kif 684-697	If an object is an instance of thoracic vertebra bone and the object is a part of another object and the other object is an instance of human and disease or syndrome is not an attribute of the other object, then there exists a third object such that the third object is an instance of thoracic vertebra bone and equal the third object and the object and the third object is a part of the other object and the third object is connected to the object
(=> (and (instance ?R TrueRibBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (exists (?S) (and (instance ?S Sternum) (part ?S ?H) (connected ?S ?R))))	Anatomy.kif 507-518	If an object is an instance of costae verae and the object is a part of another object and the other object is an instance of human and disease or syndrome is not an attribute of the other object, then there exists a third object such that the third object is an instance of sternum and the third object is a part of the other object and the third object is connected to the object
(=> (and (instance ?RIVER River) (instance ?WATER BodyOfWater) (flows ?RIVER ?WATER)) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (streamOutfall ?MOUTH ?RIVER) (connected ?MOUTH ?WATER))))	Geography.kif 5964-5973	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
(=> (and (instance ?TOUCH Touching) (agent ?TOUCH ?OBJ1) (patient ?TOUCH ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?TOUCH)) (not (connected ?OBJ1 ?OBJ2))) (holdsDuring (EndFn (WhenFn ?TOUCH)) (connected ?OBJ1 ?OBJ2))))	Merge.kif 11635-11642	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
(=> (and (instance ?W VehicleWheel) (instance ?V RoadVehicle) (part ?W ?V)) (exists (?A) (and (instance ?A Axle) (component ?A ?V) (connected ?W ?A))))	Mid-level-ontology.kif 3981-3990	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
(=> (and (properlyFills ?OBJ1 ?HOLE) (connected ?OBJ2 ?OBJ1)) (connected ?HOLE ?OBJ2))	Merge.kif 10186-10190	If an object properly fills a hole and another object is connected to the object, then the hole is connected to the other object
(=> (attribute ?X Locked) (exists (?LOCK ?CLOSE ?MOVE) (and (instance ?LOCK Lock) (connected ?LOCK ?X) (instance ?CLOSE Closing) (patient ?CLOSE ?LOCK) (instance ?MOVE Motion) (earlier (WhenFn ?CLOSE) (WhenFn (attribute ?X Locked))) (holdsDuring (WhenFn (attribute ?X Locked)) (not (modalAttribute (patient ?MOVE ?X) Possibility))))))	Mid-level-ontology.kif 3161-3177	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
(=> (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	If partial vacuum is an attribute of an object, then there exist another object, a third object,, , a real number,, , another real number and an unit of measure such that the other object is an instance of self connected object and the third object is an instance of region and equal the third object and 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 the real number the unit of measure(s) and the measure of the object is the other real number the unit of measure(s) and the unit of measure is an instance of unit of atmospheric pressure and the real number is greater than the other real number
(=> (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	If pressurized is an attribute of an object, then there exist another object, a third object,, , a real number,, , another real number and an unit of measure such that the other object is an instance of self connected object and the third object is an instance of region and equal the third object and 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 the real number the unit of measure(s) and the measure of the object is the other real number the unit of measure(s) and the unit of measure is an instance of unit of atmospheric pressure and the other real number is greater than the real number
(=> (completelyFills ?OBJ1 ?HOLE) (forall (?OBJ2) (=> (connected ?OBJ2 ?HOLE) (connected ?OBJ2 ?OBJ1))))	Merge.kif 10179-10184	If an object completely fills a hole, then for all another object if the other object is connected to the hole, then the other object is connected to the object
(=> (connects ?OBJ1 ?OBJ2 ?OBJ3) (and (connected ?OBJ1 ?OBJ2) (connected ?OBJ1 ?OBJ3) (not (connected ?OBJ2 ?OBJ3))))	Merge.kif 9682-9688	If an object connects another object and a third object, then 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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

(connected GulfOfAden ArabianSea)	Geography.kif 5423-5423	Gulf of aden is connected to arabian sea
(connected GulfOfGuinea AtlanticOcean)	Geography.kif 5439-5439	Gulf Of Guinea is connected to atlantic ocean
(connected GulfOfLion MediterraneanSea)	Geography.kif 5447-5447	Gulf Of Lion is connected to mediterranean sea
(connected GulfOfMexico CaribbeanSea)	Geography.kif 5431-5431	Gulf of mexico is connected to caribbean sea
(connected GulfOfMexico NorthAtlanticOcean)	Geography.kif 5430-5430	Gulf of mexico is connected to north atlantic ocean
(connected GulfOfOman ArabianSea)	Geography.kif 5415-5415	Gulf of oman is connected to arabian sea
(connected IndianOcean PersianGulf)	Geography.kif 4871-4871	Indian ocean is connected to persian gulf
(connected IndianOcean SouthPacificOcean)	Geography.kif 4870-4870	Indian ocean is connected to south pacific ocean
(connected IndianOcean SouthernOcean)	Geography.kif 4872-4872	Indian ocean is connected to southern ocean
(connected MississippiRiver GulfOfMexico)	CountriesAndRegions.kif 744-744	Mississippi river is connected to Gulf of mexico
(connected PersianGulf StraitOfHormuz)	Geography.kif 5408-5408	Persian gulf is connected to strait of hormuz
(connected RedSea GulfOfAden)	Geography.kif 5422-5422	Red sea is connected to gulf of aden
(connected StraitOfHormuz GulfOfOman)	Geography.kif 5414-5414	Strait of hormuz is connected to gulf of oman

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: