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 8964-8965
(domain connected 1 Object)	Merge.kif 8961-8961	The number 1 argument of connected is an instance of object
(domain connected 2 Object)	Merge.kif 8962-8962	The number 2 argument of connected is an instance of object
(instance connected BinaryPredicate)	Merge.kif 8957-8957	connected is an instance of binary predicate
(instance connected ReflexiveRelation)	Merge.kif 8959-8959	connected is an instance of reflexive relation
(instance connected SpatialRelation)	Merge.kif 8958-8958	connected is an instance of spatial relation
(instance connected SymmetricRelation)	Merge.kif 8960-8960	connected is an instance of symmetric relation

appearance as argument number 2

(disjointRelation crosses connected)	Merge.kif 4053-4053	crosses and connected are disjoint
(format ChineseLanguage connected "%1 和 %2 %n 是 connected")	chinese_format.kif 361-361
(format EnglishLanguage connected "%1 is %n connected to %2")	english_format.kif 367-367
(relatedInternalConcept meetsSpatially connected)	Merge.kif 9011-9011	meets spatially is internally related to connected
(subrelation connectedEngineeringComponents connected)	Merge.kif 14961-14961	connected engineering components is a subrelation of connected
(subrelation flows connected)	Geography.kif 5128-5128	flows is a subrelation of connected
(subrelation overlapsSpatially connected)	Merge.kif 9021-9021	overlaps spatially is a subrelation of connected
(termFormat ChineseLanguage connected "相连")	chinese_format.kif 362-362
(termFormat ChineseLanguage connected "连接的")	domainEnglishFormat.kif 16570-16570
(termFormat ChineseTraditionalLanguage connected "連接的")	domainEnglishFormat.kif 16569-16569
(termFormat EnglishLanguage connected "connected")	domainEnglishFormat.kif 16568-16568

antecedent

(=> (and (bottom ?BOTTOM ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?BOTTOM))) (orientation ?PART ?BOTTOM Above))	Merge.kif 9150-9155	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 ?X ?Y) (part ?Y ?Z)) (connected ?X ?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
(=> (and (instance ?CHANNEL Channel) (instance ?BODY BodyOfWater) (connected ?CHANNEL ?BODY)) (larger ?BODY ?CHANNEL))	Geography.kif 5023-5028	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 ?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 5073-5088	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
(=> (and (properlyFills ?OBJ1 ?HOLE) (connected ?OBJ2 ?OBJ1)) (connected ?HOLE ?OBJ2))	Merge.kif 9487-9491	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 9180-9186	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 9165-9170	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 8967-8971	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

(<=> (connects ?OBJ1 ?OBJ2 ?OBJ3) (and (connected ?OBJ1 ?OBJ2) (connected ?OBJ1 ?OBJ3) (not (connected ?OBJ2 ?OBJ3))))	Merge.kif 8995-9001	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
(<=> (instance ?OBJ SelfConnectedObject) (forall (?PART1 ?PART2) (=> (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2)) (connected ?PART1 ?PART2))))	Merge.kif 8973-8978	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
(<=> (orientation ?OBJ1 ?OBJ2 Adjacent) (or (orientation ?OBJ1 ?OBJ2 Near) (connected ?OBJ1 ?OBJ2)))	Merge.kif 15953-15957	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 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
(=> (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 11505-11512	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 11530-11537	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 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
(=> (and (instance ?PORT PortFacility) (capability ShipBerthing patient ?PORT)) (exists (?HARBOR) (and (instance ?HARBOR Harbor) (connected ?HARBOR ?PORT) (capability ShipBerthing path ?HARBOR))))	Transportation.kif 2927-2935	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 ?RIVER River) (instance ?WATER BodyOfWater) (flows ?RIVER ?WATER)) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (streamOutfall ?MOUTH ?RIVER) (connected ?MOUTH ?WATER))))	Geography.kif 5352-5361	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 10725-10732	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 4078-4087	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 9487-9491	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 3164-3180	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) (and (instance ?O SelfConnectedObject) (instance ?G Region) (not (equal ?G ?X)) (connected ?X ?O) (connected ?G ?O) (measure ?G (MeasureFn ?PM ?P1)) (measure ?X (MeasureFn ?PM ?P2)) (instance ?PM UnitOfAtmosphericPressure) (greaterThan ?P1 ?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 the real number another unit of measure(s) and the real number is an instance of UnitOfAtmosphericPressure and the unit of measure is greater than the other unit of measure
(=> (attribute ?X Pressurized) (exists (?O ?G) (and (instance ?O SelfConnectedObject) (instance ?G Region) (not (equal ?G ?X)) (connected ?X ?O) (connected ?G ?O) (measure ?G (MeasureFn ?PM ?P1)) (measure ?X (MeasureFn ?PM ?P2)) (instance ?PM UnitOfAtmosphericPressure) (greaterThan ?P2 ?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 the real number another unit of measure(s) and the real number is an instance of UnitOfAtmosphericPressure and the other unit of measure is greater than the unit of measure
(=> (completelyFills ?OBJ1 ?HOLE) (forall (?OBJ2) (=> (connected ?OBJ2 ?HOLE) (connected ?OBJ2 ?OBJ1))))	Merge.kif 9480-9485	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
(=> (equipmentType ?O ?T) (exists (?D) (and (instance ?D ?T) (or (part ?D ?O) (connected ?D ?O)))))	Mid-level-ontology.kif 22074-22081	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
(=> (flows ?FLUID1 ?FLUID2) (connected ?FLUID1 ?FLUID2))	Geography.kif 5134-5136	If an object is a flows of another object, then the other object is connected to the object
(=> (hole ?HOLE ?OBJ) (connected ?HOLE ?OBJ))	Merge.kif 9367-9369	If a hole is a hole in a self connected object, then the hole is connected to the self connected object
(=> (instance ?F Fireplace) (exists (?C) (and (instance ?C Chimney) (connected ?F ?C))))	Mid-level-ontology.kif 13078-13083	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
(=> (instance ?GULF Gulf) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (connected ?GULF ?SEA))))	Geography.kif 4822-4829	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
(=> (instance ?I Intestine) (exists (?S) (and (instance ?S Stomach) (connected ?I ?S))))	Mid-level-ontology.kif 10030-10035	If an object is an instance of intestine, then there exists another object such that the other object is an instance of stomach and the object is connected to the other object
(=> (instance ?INLET Inlet) (exists (?WATER) (and (instance ?WATER WaterArea) (connected ?INLET ?WATER))))	Geography.kif 4925-4930	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
(=> (instance ?LABEL Label) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (connected ?LABEL ?OBJ) (refers ?LABEL ?OBJ))))	Mid-level-ontology.kif 12213-12219	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
(=> (instance ?NA NetworkAdapter) (exists (?Net) (and (instance ?Net ComputerNetwork) (connected ?NA ?Net))))	QoSontology.kif 829-834	If an object is an instance of network adapter, then there exists another object such that the other object is an instance of computer network 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

(connected GulfOfAden ArabianSea)	Geography.kif 4862-4862	Gulf of aden is connected to arabian sea
(connected GulfOfMexico CaribbeanSea)	Geography.kif 4870-4870	GulfOfMexico is connected to caribbean sea
(connected GulfOfMexico NorthAtlanticOcean)	Geography.kif 4869-4869	GulfOfMexico is connected to north atlantic ocean
(connected GulfOfOman ArabianSea)	Geography.kif 4854-4854	Gulf of oman is connected to arabian sea
(connected IndianOcean PersianGulf)	Geography.kif 4361-4361	Indian ocean is connected to persian gulf
(connected IndianOcean SouthPacificOcean)	Geography.kif 4360-4360	Indian ocean is connected to south pacific ocean
(connected IndianOcean SouthernOcean)	Geography.kif 4362-4362	Indian ocean is connected to southern ocean
(connected MississippiRiver GulfOfMexico)	CountriesAndRegions.kif 744-744	Mississippi river is connected to GulfOfMexico
(connected PersianGulf StraitOfHormuz)	Geography.kif 4847-4847	Persian gulf is connected to strait of hormuz
(connected RedSea GulfOfAden)	Geography.kif 4861-4861	Red sea is connected to gulf of aden
(connected StraitOfHormuz GulfOfOman)	Geography.kif 4853-4853	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: