connected - Sigma 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 9528-9529
(documentation connected JapaneseLanguage "(connected ?OBJ1 ?OBJ2) とは、?OBJ1 meetsSpatially ?OBJ2または ?OBJ1 overlapsSpatially ?OBJ2 という意味である。")	japanese_format.kif 1565-1566
(domain connected 1 Object)	Merge.kif 9525-9525	Die Zahl 1 Argument von connected ist ein fall von Object %n{nicht}
(domain connected 2 Object)	Merge.kif 9526-9526	Die Zahl 2 Argument von connected ist ein fall von Object %n{nicht}
(instance connected BinaryPredicate)	Merge.kif 9521-9521	connected ist ein fall von BinaryPredicate %n{nicht}
(instance connected ReflexiveRelation)	Merge.kif 9523-9523	connected ist ein fall von ReflexiveRelation %n{nicht}
(instance connected SpatialRelation)	Merge.kif 9522-9522	connected ist ein fall von SpatialRelation %n{nicht}
(instance connected SymmetricRelation)	Merge.kif 9524-9524	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 9592-9592	meetsSpatially ist innerlich verwandt mit connected %n{nicht}
(subrelation connectedEngineeringComponents connected)	Merge.kif 16117-16117	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 9737-9742	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 9576-9582	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 9543-9547	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 12405-12419	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 10576-10592	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 12453-12462	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 17904-17914	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 10068-10072	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 9767-9773	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 9752-9757	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 9531-9535	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 17125-17129	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 11966-11976	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 12382-12389	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 12430-12437	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 10646-10656	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 10606-10616	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 9537-9541	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 11507-11514	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 10068-10072	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 10061-10066	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 9568-9574	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 24326-24333	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 9957-9959	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 15365-15370	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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: