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 9506-9507
(documentation connected JapaneseLanguage "(connected ?OBJ1 ?OBJ2) とは、?OBJ1 meetsSpatially ?OBJ2または ?OBJ1 overlapsSpatially ?OBJ2 という意味である。")	japanese_format.kif 1565-1566
(domain connected 1 Object)	Merge.kif 9503-9503	Die Zahl 1 Argument von connected ist ein fall von Object %n{nicht}
(domain connected 2 Object)	Merge.kif 9504-9504	Die Zahl 2 Argument von connected ist ein fall von Object %n{nicht}
(instance connected BinaryPredicate)	Merge.kif 9499-9499	connected ist ein fall von BinaryPredicate %n{nicht}
(instance connected ReflexiveRelation)	Merge.kif 9501-9501	connected ist ein fall von ReflexiveRelation %n{nicht}
(instance connected SpatialRelation)	Merge.kif 9500-9500	connected ist ein fall von SpatialRelation %n{nicht}
(instance connected SymmetricRelation)	Merge.kif 9502-9502	connected ist ein fall von SymmetricRelation %n{nicht}

appearance as argument number 2

(disjointRelation crosses connected)	Merge.kif 4200-4200	kreuzt und connected werden disjunkt
(format ChineseLanguage connected "%1 和 %2 %n 是 connected")	chinese_format.kif 361-361
(format EnglishLanguage connected "%1 is %n connected to %2")	english_format.kif 364-364
(format FrenchLanguage connected "%1 est %n connect� � %2")	french_format.kif 209-209
(format ItalianLanguage connected "%1 è %n connesso a %2")	relations-it.txt 52-52
(format JapaneseLanguage connected "%1 は %2 と connected して %n ")	japanese_format.kif 2016-2016
(format PortugueseLanguage connected "%1 e' %n conectado com %2")	portuguese_format.kif 161-161
(format cb connected "%1 %n ay ikabit sa %2")	relations-cb.txt 86-86
(format cz connected "%1 %p{je} %n{nen�} spojen s %2")	relations-cz.txt 216-216
(format de connected "%1 wird an %2 %n{nicht} angeschlossen")	relations-de.txt 480-480
(format hi connected "%1 %2 se judaa huaa %n hai")	relations-hindi.txt 93-93
(format ro connected "%1 %n{nu} este connected%t{îmbinat} cu %2")	relations-ro.kif 229-229
(format sv connected "%1 är %n{inte} sammanlänkad med %2")	relations-sv.txt 226-226
(format tg connected "%1 %n ay nagkabit sa %2")	relations-tg.txt 120-120
(relatedInternalConcept meetsSpatially connected)	Merge.kif 9570-9570	meetsSpatially ist innerlich verwandt mit connected %n{nicht}
(subrelation connectedEngineeringComponents connected)	Merge.kif 16095-16095	connectedEngineeringComponents ist eine teilrelation von connected
(subrelation overlapsSpatially connected)	Merge.kif 4033-4033	overlapsSpatially ist eine teilrelation von connected
(termFormat ChineseLanguage connected "相连")	chinese_format.kif 362-362
(termFormat ChineseLanguage connected "连接的")	domainEnglishFormat.kif 16638-16638
(termFormat ChineseTraditionalLanguage connected "連接的")	domainEnglishFormat.kif 16637-16637
(termFormat EnglishLanguage connected "connected")	domainEnglishFormat.kif 16636-16636
(termFormat tg connected "nagkabit")	relations-tg.txt 121-121

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 9715-9720	Wenn die unterseite von SelfConnectedObject ist SelfConnectedObject und Object ist ein teil von SelfConnectedObject %n{nicht} und Object wird an SelfConnectedObject nicht angeschlossen, dann Object ist Above hinsichlich SelfConnectedObject %n{nicht}
(=> (and (connected ?OBJ1 ?OBJ2) (connected ?OBJ1 ?OBJ3) (not (connected ?OBJ2 ?OBJ3))) (connects ?OBJ1 ?OBJ2 ?OBJ3))	Merge.kif 9554-9560	Wenn Object wird an Object angeschlossen und Object wird an Object angeschlossen und Object wird an Object nicht angeschlossen, dann Object schleisst Object und Object an
(=> (and (connected ?X ?Y) (part ?Y ?Z)) (connected ?X ?Z))	Geography.kif 514-518	Wenn Object wird an Object angeschlossen und Object ist ein teil von Object %n{nicht}, dann Object wird an ** Object angeschlossen
(=> (and (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2)) (connected ?PART1 ?PART2)) (instance ?OBJ SelfConnectedObject))	Merge.kif 9521-9525	Wenn Object ist gleich die vereinigung von den teilen von Object und Object %n{nicht} und Object wird an Object angeschlossen, dann ** Object ist ein fall von SelfConnectedObject %n{nicht}
(=> (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 12383-12397	Wenn Process ist ein fall von Attaching %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity wird an Entity nicht angeschlossen haelt waehrend der anfang von die zeit des Bestehens von Process %n{nicht} und Entity wird an Entity angeschlossen haelt waehrend das ende von die zeit des Bestehens von Process %n{nicht}, dann objectAttached Process and Entity und objectAttached Process and Entity
(=> (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 10577-10593	Wenn Object ist ein fall von BodySegment %n{nicht} und Object ist ein fall von BodySegment %n{nicht} und Object wird an Object angeschlossen und Motion ist ein fall von BodyMotion %n{nicht} und moves Motion and Object, dann die Aussage es gibt nicht Motion2 um Motion2 ist ein fall von BodyMotion %n{nicht} und moves Motion2 and Object und die zeit des Bestehens von Motion2 geschieht waehrend die zeit des Bestehens von ** Motion %n{nicht} hat die modale Kraft von Possibility
(=> (and (instance ?CHANNEL Channel) (instance ?BODY BodyOfWater) (connected ?CHANNEL ?BODY)) (larger ?BODY ?CHANNEL))	Geography.kif 5330-5335	Wenn Object ist ein fall von Channel %n{nicht} und Object ist ein fall von BodyOfWater %n{nicht} und Object wird an Object angeschlossen, dann Object ist groesser als ** 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 12431-12440	Wenn Process ist ein fall von Detaching %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity wird an Entity angeschlossen haelt waehrend der anfang von die zeit des Bestehens von Process %n{nicht} und Entity wird an Entity nicht angeschlossen haelt waehrend das ende von die zeit des Bestehens von Process %n{nicht}, dann objectDetached Process and Entity und objectDetached Process and Entity
(=> (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 17882-17892	Wenn Object ist ein fall von Object %n{nicht} und LongAndThin ist ein attribut von Object %n{nicht} und Object ist ein fall von Object %n{nicht} und LongAndThin ist ein attribut von Object %n{nicht} und Object wird an Object angeschlossen und Object ist gleich Object nicht, dann es gibt RealNumber um relativeAngle Object, Object and RealNumber
(=> (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 5380-5395	Wenn GeographicArea ist ein fall von InlandWaterSystem %n{nicht} und GeographicArea ist ein fall von WaterArea %n{nicht} und GeographicArea ist ein fall von WaterArea %n{nicht} und GeographicArea ist gleich GeographicArea nicht und GeographicArea wird an GeographicArea nicht angeschlossen und geographicSubregion GeographicArea and GeographicArea und geographicSubregion GeographicArea and GeographicArea, dann es gibt Object um Object ist ein fall von WaterArea %n{nicht} und Object ist gleich GeographicArea nicht und Object ist gleich GeographicArea nicht und Object ist ein teil von GeographicArea %n{nicht} und Object schleisst GeographicArea und GeographicArea an
(=> (and (properlyFills ?OBJ1 ?HOLE) (connected ?OBJ2 ?OBJ1)) (connected ?HOLE ?OBJ2))	Merge.kif 10046-10050	Wenn Object fuellt HoleRegion richtig und Object wird an Object angeschlossen, dann HoleRegion wird an ** Object angeschlossen
(=> (and (side ?SIDE ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?SIDE))) (exists (?DIRECT) (orientation ?SIDE ?PART ?DIRECT)))	Merge.kif 9745-9751	Wenn eine seite von SelfConnectedObject ist SelfConnectedObject und Object ist ein teil von SelfConnectedObject %n{nicht} und Object wird an SelfConnectedObject nicht angeschlossen, dann es gibt PositionalAttribute um SelfConnectedObject ist PositionalAttribute hinsichlich ** Object %n{nicht}
(=> (and (top ?TOP ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?TOP))) (orientation ?PART ?TOP Below))	Merge.kif 9730-9735	Wenn die oberseite von SelfConnectedObject ist SelfConnectedObject und Object ist ein teil von SelfConnectedObject %n{nicht} und Object wird an SelfConnectedObject nicht angeschlossen, dann Object ist Below hinsichlich SelfConnectedObject %n{nicht}
(=> (connected ?OBJ1 ?OBJ2) (or (meetsSpatially ?OBJ1 ?OBJ2) (overlapsSpatially ?OBJ1 ?OBJ2)))	Merge.kif 9509-9513	Wenn Object wird an Object angeschlossen, dann Object schliesst Object raeumlich an oder Object deckt sich mit ** Object raeumlich %n{nicht}

consequent

(<=> (orientation ?OBJ1 ?OBJ2 Adjacent) (or (orientation ?OBJ1 ?OBJ2 Near) (connected ?OBJ1 ?OBJ2)))	Merge.kif 17103-17107	Object ist Adjacent hinsichlich Object %n{nicht} genau dann wenn Object ist Near hinsichlich Object %n{nicht} oder Object wird an ** Object angeschlossen
(=> (and (connected ?X ?Y) (part ?Y ?Z)) (connected ?X ?Z))	Geography.kif 514-518	Wenn Object wird an Object angeschlossen und Object ist ein teil von Object %n{nicht}, dann Object wird an ** Object angeschlossen
(=> (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 11967-11977	Wenn connectedBodyPart BodyPart and BodyPart und Healthy ist ein attribut von Object %n{nicht}, dann es gibt BodyPartI und BodyPartI um BodyPartI ist ein fall von BodyPart %n{nicht} und BodyPartI ist ein fall von BodyPart %n{nicht} und BodyPartI ist ein teil von Object %n{nicht} und BodyPartI ist ein teil von Object %n{nicht} und BodyPartI wird an BodyPartI angeschlossen
(=> (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	Wenn connectedBodyPartTypes BodyPart, BodyPart and Organism und OrganismC ist ein fall von Organism %n{nicht} und DiseaseOrSyndrome ist ein attribut von Object nicht, dann es gibt Object und Object um Object ist ein fall von BodyPart %n{nicht} und Object ist ein fall von BodyPart %n{nicht} und Object ist gleich Object nicht und Object ist ein teil von OrganismC %n{nicht} und Object ist ein teil von OrganismC %n{nicht} und Object wird an ** Object angeschlossen
(=> (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 12360-12367	Wenn Process ist ein fall von Attaching %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Entity wird an Entity nicht angeschlossen haelt waehrend der anfang von die zeit des Bestehens von Process %n{nicht} und Entity wird an Entity angeschlossen haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht}
(=> (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 12408-12415	Wenn Process ist ein fall von Detaching %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Entity wird an Entity angeschlossen haelt waehrend der anfang von die zeit des Bestehens von Process %n{nicht} und Entity wird an Entity nicht angeschlossen haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht}
(=> (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	Wenn Process ist ein fall von DataSaving %n{nicht} und Object ist ein hilfmittel fuer Process %n{nicht} und Object ist ein fall von ElectronicDataStorageDevice %n{nicht}, dann es gibt Object um Object ist ein fall von ElectricDevice %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Object wird an Object angeschlossen haelt waehrend die zeit des Bestehens von Process %n{nicht}
(=> (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 10647-10657	Wenn Motion ist ein fall von Extension %n{nicht} und moves Motion and Object, dann es gibt Object und ObjectC um Object ist ein fall von Muscle %n{nicht} und ObjectC ist ein fall von MuscularContraction %n{nicht} und Object ist ein instrument fuer Motion %n{nicht} und Object wird an Object angeschlossen und ObjectC ist ein subProzess von ** 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 10607-10617	Wenn Motion ist ein fall von Flexion %n{nicht} und moves Motion and Object, dann es gibt Object und ObjectC um Object ist ein fall von Muscle %n{nicht} und ObjectC ist ein fall von MuscularContraction %n{nicht} und Object ist ein instrument fuer Motion %n{nicht} und Object wird an Object angeschlossen und ObjectC ist ein subProzess von ** Motion
(=> (and (instance ?OBJ SelfConnectedObject) (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2))) (connected ?PART1 ?PART2))	Merge.kif 9515-9519	Wenn Object ist ein fall von SelfConnectedObject %n{nicht} und Object ist gleich die vereinigung von den teilen von Object und Object %n{nicht}, dann Object wird an ** Object angeschlossen
(=> (and (instance ?PORT PortFacility) (capability ShipBerthing patient ?PORT)) (exists (?HARBOR) (and (instance ?HARBOR Harbor) (connected ?HARBOR ?PORT) (capability ShipBerthing path ?HARBOR))))	Transportation.kif 2949-2957	Wenn Object ist ein fall von PortFacility %n{nicht} und Object ist faehig %n{nicht}, in der Rolle patient ShipBerthing zu tun, dann es gibt Object um Object ist ein fall von Harbor %n{nicht} und Object wird an Object angeschlossen und ** Object ist faehig %n{nicht}, in der Rolle path ShipBerthing zu tun
(=> (and (instance ?RIVER River) (instance ?WATER BodyOfWater) (flows ?RIVER ?WATER)) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (streamOutfall ?MOUTH ?RIVER) (connected ?MOUTH ?WATER))))	Geography.kif 5661-5670	Wenn River ist ein fall von River %n{nicht} und Object ist ein fall von BodyOfWater %n{nicht} und flows River and Object, dann es gibt WaterArea um WaterArea ist ein fall von RiverMouth %n{nicht} und streamOutfall WaterArea and River und WaterArea wird an ** Object angeschlossen
(=> (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 11485-11492	Wenn Process ist ein fall von Touching %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann AutonomousAgent wird an Entity nicht angeschlossen haelt waehrend der anfang von die zeit des Bestehens von Process %n{nicht} und AutonomousAgent wird an Entity angeschlossen haelt waehrend das ende von die zeit des Bestehens von Process %n{nicht}
(=> (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 3538-3547	Wenn Object ist ein fall von VehicleWheel %n{nicht} und CorpuscularObject ist ein fall von RoadVehicle %n{nicht} und Object ist ein teil von CorpuscularObject %n{nicht}, dann es gibt CorpuscularObject um CorpuscularObject ist ein fall von Axle %n{nicht} und CorpuscularObject ist ein bestandteil von CorpuscularObject %n{nicht} und Object wird an ** CorpuscularObject angeschlossen
(=> (and (properlyFills ?OBJ1 ?HOLE) (connected ?OBJ2 ?OBJ1)) (connected ?HOLE ?OBJ2))	Merge.kif 10046-10050	Wenn Object fuellt HoleRegion richtig und Object wird an Object angeschlossen, dann HoleRegion wird an ** Object angeschlossen
(=> (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 2698-2714	Wenn Locked ist ein attribut von Object %n{nicht}, dann es gibt Object, Process, and und Entity um Object ist ein fall von Lock %n{nicht} und Object wird an Object angeschlossen und Process ist ein fall von Closing %n{nicht} und Object ist ein patient von Process %n{nicht} und Entity ist ein fall von Motion %n{nicht} und die zeit des Bestehens von Process geschieht frueh als die zeit des Bestehens von Locked ist ein attribut von Object %n{nicht} %n{nicht} und nicht die Aussage Object ist ein patient von Entity %n{nicht} hat die modale Kraft von Possibility haelt waehrend die zeit des Bestehens von Locked ist ein attribut von Object %n{nicht} %n{nicht}
(=> (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	Wenn PartialVacuum ist ein attribut von Object %n{nicht}, dann es gibt Object, Object,, , RealNumber,, , RealNumber, and und UnitOfMeasure um Object ist ein fall von SelfConnectedObject %n{nicht} und Object ist ein fall von Region %n{nicht} und Object ist gleich Object nicht und Object wird an Object angeschlossen und Object wird an Object angeschlossen und das mass von Object ist RealNumber UnitOfMeasure(s) %n{nicht} und das mass von Object ist RealNumber UnitOfMeasure(s) %n{nicht} und UnitOfMeasure ist ein fall von UnitOfAtmosphericPressure %n{nicht} und RealNumber ist groesserAls ** RealNumber %n{nicht}
(=> (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	Wenn Pressurized ist ein attribut von Object %n{nicht}, dann es gibt Object, Object,, , RealNumber,, , RealNumber, and und UnitOfMeasure um Object ist ein fall von SelfConnectedObject %n{nicht} und Object ist ein fall von Region %n{nicht} und Object ist gleich Object nicht und Object wird an Object angeschlossen und Object wird an Object angeschlossen und das mass von Object ist RealNumber UnitOfMeasure(s) %n{nicht} und das mass von Object ist RealNumber UnitOfMeasure(s) %n{nicht} und UnitOfMeasure ist ein fall von UnitOfAtmosphericPressure %n{nicht} und RealNumber ist groesserAls ** RealNumber %n{nicht}
(=> (completelyFills ?OBJ1 ?HOLE) (forall (?OBJ2) (=> (connected ?OBJ2 ?HOLE) (connected ?OBJ2 ?OBJ1))))	Merge.kif 10039-10044	Wenn Object fuellt HoleRegion vollstaendig, dann fuer alle Object wenn Object wird an HoleRegion angeschlossen, dann Object wird an ** Object angeschlossen
(=> (connects ?OBJ1 ?OBJ2 ?OBJ3) (and (connected ?OBJ1 ?OBJ2) (connected ?OBJ1 ?OBJ3) (not (connected ?OBJ2 ?OBJ3))))	Merge.kif 9546-9552	Wenn Object schleisst Object und Object an, dann Object wird an Object angeschlossen und Object wird an Object angeschlossen und Object wird an Object nicht angeschlossen
(=> (equipmentType ?O ?T) (exists (?D) (and (instance ?D ?T) (or (part ?D ?O) (connected ?D ?O)))))	Mid-level-ontology.kif 24327-24334	Wenn equipmentType Artifact and Device, dann es gibt Object um Object ist ein fall von Device %n{nicht} und Object ist ein teil von Artifact %n{nicht} oder Object wird an ** Artifact angeschlossen
(=> (flows ?FLUID1 ?FLUID2) (connected ?FLUID1 ?FLUID2))	Geography.kif 5442-5444	Wenn flows Object and Object, dann Object wird an Object angeschlossen
(=> (hole ?HOLE ?OBJ) (connected ?HOLE ?OBJ))	Merge.kif 9935-9937	Wenn HoleRegion ist ein loch in SelfConnectedObject %n{nicht}, dann HoleRegion wird an SelfConnectedObject angeschlossen
(=> (instance ?F Fireplace) (exists (?C) (and (instance ?C Chimney) (connected ?F ?C))))	Mid-level-ontology.kif 15366-15371	Wenn Object ist ein fall von Fireplace %n{nicht}, dann es gibt Object um Object ist ein fall von Chimney %n{nicht} und Object wird an Object angeschlossen
(=> (instance ?GULF Gulf) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (connected ?GULF ?SEA))))	Geography.kif 5129-5136	Wenn Object ist ein fall von Gulf %n{nicht}, dann es gibt Object um Object ist ein fall von Sea %n{nicht} oder Object ist ein fall von Ocean %n{nicht} und Object wird an Object angeschlossen

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 5169-5169	GulfOfAden wird an ArabianSea angeschlossen
(connected GulfOfMexico CaribbeanSea)	Geography.kif 5177-5177	GulfOfMexico wird an CaribbeanSea angeschlossen
(connected GulfOfMexico NorthAtlanticOcean)	Geography.kif 5176-5176	GulfOfMexico wird an NorthAtlanticOcean angeschlossen
(connected GulfOfOman ArabianSea)	Geography.kif 5161-5161	GulfOfOman wird an ArabianSea angeschlossen
(connected IndianOcean PersianGulf)	Geography.kif 4631-4631	IndianOcean wird an PersianGulf angeschlossen
(connected IndianOcean SouthPacificOcean)	Geography.kif 4630-4630	IndianOcean wird an SouthPacificOcean angeschlossen
(connected IndianOcean SouthernOcean)	Geography.kif 4632-4632	IndianOcean wird an SouthernOcean angeschlossen
(connected MississippiRiver GulfOfMexico)	CountriesAndRegions.kif 744-744	MississippiRiver wird an GulfOfMexico angeschlossen
(connected PersianGulf StraitOfHormuz)	Geography.kif 5154-5154	PersianGulf wird an StraitOfHormuz angeschlossen
(connected RedSea GulfOfAden)	Geography.kif 5168-5168	RedSea wird an GulfOfAden angeschlossen
(connected StraitOfHormuz GulfOfOman)	Geography.kif 5160-5160	StraitOfHormuz wird an GulfOfOman angeschlossen

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

KB Term:			Term intersection

English Word: