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 9542-9543
(documentation connected JapaneseLanguage "(connected ?OBJ1 ?OBJ2) とは、?OBJ1 meetsSpatially ?OBJ2または ?OBJ1 overlapsSpatially ?OBJ2 という意味である。")	japanese_format.kif 1565-1566
(domain connected 1 Object)	Merge.kif 9539-9539	Die Zahl 1 Argument von connected ist ein fall von Object %n{nicht}
(domain connected 2 Object)	Merge.kif 9540-9540	Die Zahl 2 Argument von connected ist ein fall von Object %n{nicht}
(instance connected BinaryPredicate)	Merge.kif 9535-9535	connected ist ein fall von BinaryPredicate %n{nicht}
(instance connected ReflexiveRelation)	Merge.kif 9537-9537	connected ist ein fall von ReflexiveRelation %n{nicht}
(instance connected SpatialRelation)	Merge.kif 9536-9536	connected ist ein fall von SpatialRelation %n{nicht}
(instance connected SymmetricRelation)	Merge.kif 9538-9538	connected ist ein fall von SymmetricRelation %n{nicht}

appearance as argument number 2

(disjointRelation crosses connected)	Merge.kif 4201-4201	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 9606-9606	meetsSpatially ist innerlich verwandt mit connected %n{nicht}
(subrelation connectedEngineeringComponents connected)	Merge.kif 16167-16167	connectedEngineeringComponents ist eine teilrelation von connected
(subrelation overlapsSpatially connected)	Merge.kif 4034-4034	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 9751-9756	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 9590-9596	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 9557-9561	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 12429-12443	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 10604-10620	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 12477-12486	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 17961-17971	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 10082-10086	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 9781-9788	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 9766-9771	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 9545-9549	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 17174-17178	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 11994-12004	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 12406-12413	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 12454-12461	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 10674-10684	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 10634-10644	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 9551-9555	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 3001-3009	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 ?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 561-574	Wenn Object ist ein fall von CervicalVertebraBone %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von Human %n{nicht} und DiseaseOrSyndrome ist ein attribut von Object nicht, dann es gibt Object um Object ist ein fall von CervicalVertebraBone %n{nicht} und Object ist gleich Object nicht und Object ist ein teil von Object %n{nicht} und Object wird an ** Object angeschlossen
(=> (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 505-517	Wenn Object ist ein fall von FalseRibBone %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von Human %n{nicht} und DiseaseOrSyndrome ist ein attribut von Object nicht, dann es gibt nicht Object um Object ist ein fall von Sternum %n{nicht} und Object ist ein teil von Object %n{nicht} und Object wird an Object angeschlossen
(=> (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 601-614	Wenn Object ist ein fall von LumbarVertebraBone %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von Human %n{nicht} und DiseaseOrSyndrome ist ein attribut von Object nicht, dann es gibt Object um Object ist ein fall von LumbarVertebraBone %n{nicht} und Object ist gleich Object nicht und Object ist ein teil von Object %n{nicht} und Object wird an ** Object angeschlossen
(=> (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 669-682	Wenn Object ist ein fall von ThoracicVertebraBone %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von Human %n{nicht} und DiseaseOrSyndrome ist ein attribut von Object nicht, dann es gibt Object um Object ist ein fall von ThoracicVertebraBone %n{nicht} und Object ist gleich Object nicht und Object ist ein teil von Object %n{nicht} und Object wird an ** Object angeschlossen
(=> (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 492-503	Wenn Object ist ein fall von TrueRibBone %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von Human %n{nicht} und DiseaseOrSyndrome ist ein attribut von Object nicht, dann es gibt Object um Object ist ein fall von Sternum %n{nicht} und Object ist ein teil von Object %n{nicht} und Object wird an Object angeschlossen
(=> (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 11531-11538	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 3531-3540	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 10082-10086	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 2691-2707	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 10075-10080	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 9582-9588	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

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: