physicalEnd - Sigma Knowledge base Browser

appearance as argument number 1

(documentation physicalEnd EnglishLanguage "A notion of an indeterminate portion at the end of an Object that has a LongAndThin ShapeAttribute.")	Mid-level-ontology.kif 1257-1258
(domain physicalEnd 1 Object)	Merge.kif 17934-17934	Die Zahl 1 Argument von physicalEnd ist ein fall von Object %n{nicht}
(domain physicalEnd 2 Object)	Merge.kif 17935-17935	Die Zahl 2 Argument von physicalEnd ist ein fall von Object %n{nicht}
(instance physicalEnd BinaryPredicate)	Mid-level-ontology.kif 1254-1254	physicalEnd ist ein fall von BinaryPredicate %n{nicht}
(instance physicalEnd BinaryRelation)	Merge.kif 17933-17933	physicalEnd ist ein fall von BinaryRelation %n{nicht}
(subrelation physicalEnd part)	Merge.kif 17941-17941	physicalEnd ist eine teilrelation von teil
(subrelation physicalEnd properPart)	Mid-level-ontology.kif 1255-1255	physicalEnd ist eine teilrelation von korrektesTeil

appearance as argument number 2

(format EnglishLanguage physicalEnd "one end of %2 is %1")	Merge.kif 17940-17940
(termFormat EnglishLanguage physicalEnd "physical end")	Merge.kif 17939-17939

antecedent

(=> (and (instance ?L Lever) (instance ?P Pushing) (instance ?M1 Motion) (instance ?U UnitOfLength) (destination ?P ?E1) (physicalEnd ?E1 ?L) (physicalEnd ?E2 ?L) (not (equal ?E1 ?E2)) (holdsDuring (ImmediatePastFn (WhenFn ?M1)) (located ?E1 ?P1)) (holdsDuring (ImmediateFutureFn (WhenFn ?M1)) (located ?E1 ?P2)) (holdsDuring (ImmediatePastFn (WhenFn ?M1)) (located ?E2 ?P3)) (holdsDuring (ImmediateFutureFn (WhenFn ?M1)) (located ?E2 ?P4)) (distance ?P1 ?P2 (MeasureFn ?D1 ?U)) (distance ?P3 ?P4 (MeasureFn ?D2 ?U))) (greaterThan ?D2 ?D1))	Mid-level-ontology.kif 1332-1355	Wenn Object ist ein fall von Lever %n{nicht} und Process ist ein fall von Pushing %n{nicht} und Physical ist ein fall von Motion %n{nicht} und UnitOfMeasure ist ein fall von UnitOfLength %n{nicht} und Process endet an Object %n{nicht} und physicalEnd Object and Object und physicalEnd Object and Object und Object ist gleich Object nicht und Object befindet sich an %n{nicht} haelt waehrend direkt vor die zeit des Bestehens von Physical %n{nicht} und Object befindet sich an %n{nicht} haelt waehrend sofort nach die zeit des Bestehens von Physical %n{nicht} und Object befindet sich an %n{nicht} haelt waehrend direkt vor die zeit des Bestehens von Physical %n{nicht} und Object befindet sich an %n{nicht} haelt waehrend sofort nach die zeit des Bestehens von Physical %n{nicht} und der abstand zwischen Process1 und Process2 ist RealNumber UnitOfMeasure(s) und der abstand zwischen Process3 und Process4 ist RealNumber UnitOfMeasure(s), dann RealNumber ist groesserAls ** RealNumber %n{nicht}
(=> (and (muscleInsertion ?MC ?BPC) (instance ?H Human) (holdsDuring ?T (attribute ?H StandardAnatomicalPosition)) (attribute ?H Healthy) (instance ?C MuscularContraction) (during (WhenFn ?C) ?T) (instance ?M ?MC) (part ?M ?H) (instrument ?C ?M) (physicalEnd ?E ?M) (meetsSpatially ?E ?BP) (holdsDuring (BeginFn ?C) (located ?E ?L))) (holdsDuring (EndFn ?C) (not (located ?E ?L))))	Anatomy.kif 1758-1780	Wenn muscleInsertion Muscle and BodyPart und Object ist ein fall von Human %n{nicht} und StandardAnatomicalPosition ist ein attribut von Object %n{nicht} haelt waehrend TimeInterval %n{nicht} und Healthy ist ein attribut von Object %n{nicht} und TimeInterval ist ein fall von MuscularContraction %n{nicht} und die zeit des Bestehens von TimeInterval geschieht waehrend TimeInterval %n{nicht} und Object ist ein fall von Muscle %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein instrument fuer TimeInterval %n{nicht} und physicalEnd Object and Object und Object schliesst Object raeumlich an und Object befindet sich an %n{nicht} haelt waehrend der anfang von TimeInterval %n{nicht}, dann Object befindet sich an nicht haelt waehrend das ende von ** TimeInterval %n{nicht}
(=> (and (muscleOrigin ?MC ?BPC) (instance ?H Human) (holdsDuring ?T (attribute ?H StandardAnatomicalPosition)) (attribute ?H Healthy) (instance ?C MuscularContraction) (during (WhenFn ?C) ?T) (instance ?M ?MC) (part ?M ?H) (instrument ?C ?M) (physicalEnd ?E ?M) (meetsSpatially ?E ?BP) (holdsDuring (BeginFn ?C) (located ?E ?L))) (holdsDuring (EndFn ?C) (located ?E ?L)))	Anatomy.kif 1708-1729	Wenn muscleOrigin Muscle and BodyPart und Object ist ein fall von Human %n{nicht} und StandardAnatomicalPosition ist ein attribut von Object %n{nicht} haelt waehrend TimeInterval %n{nicht} und Healthy ist ein attribut von Object %n{nicht} und TimeInterval ist ein fall von MuscularContraction %n{nicht} und die zeit des Bestehens von TimeInterval geschieht waehrend TimeInterval %n{nicht} und Object ist ein fall von Muscle %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein instrument fuer TimeInterval %n{nicht} und physicalEnd Object and Object und Object schliesst Object raeumlich an und Object befindet sich an %n{nicht} haelt waehrend der anfang von TimeInterval %n{nicht}, dann Object befindet sich an %n{nicht} haelt waehrend das ende von ** TimeInterval %n{nicht}
(=> (and (physicalEnd ?E ?O) (superficialPart ?SP ?O)) (meetsSpatially ?E ?SP))	Mid-level-ontology.kif 1289-1293	Wenn physicalEnd Object and Object und Object ist ein oberflaechliches teil von Object %n{nicht}, dann Object schliesst ** Object raeumlich an
(=> (and (physicalEnd ?E1 ?O) (physicalEnd ?E2 ?O) (not (equal ?E1 ?E2))) (not (meetsSpatially ?E1 ?E2)))	Mid-level-ontology.kif 1280-1287	Wenn physicalEnd Object and Object und physicalEnd Object and Object und Object ist gleich Object nicht, dann Object schliesst Object raeumlich nicht an
(=> (and (physicalEnd ?E1 ?O) (physicalEnd ?E2 ?O) (not (equal ?E1 ?E2))) (not (overlapsSpatially ?E1 ?E2)))	Mid-level-ontology.kif 1271-1278	Wenn physicalEnd Object and Object und physicalEnd Object and Object und Object ist gleich Object nicht, dann Object deckt sich mit Object raeumlich nicht
(=> (and (physicalEnd ?E1 ?O) (physicalEnd ?E2 ?O) (part ?P1 ?E1) (part ?P2 ?E2) (instance ?U UnitOfLength) (distance ?P1 ?P2 (MeasureFn ?D1 ?U)) (not (equal ?E1 ?E2))) (not (exists (?OP1 ?OP2 ?D2) (and (not (part ?OP1 ?E1)) (not (part ?OP2 ?E2)) (distance ?OP1 ?OP2 (MeasureFn ?D2 ?U)) (greaterThan ?D2 ?D1)))))	Mid-level-ontology.kif 1295-1315	Wenn physicalEnd Object and Object und physicalEnd Object and Object und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und UnitOfMeasure ist ein fall von UnitOfLength %n{nicht} und der abstand zwischen Object und Object ist RealNumber UnitOfMeasure(s) und Object ist gleich Object nicht, dann es gibt nicht ObjectP1, ObjectP2, and und RealNumber um ObjectP1 ist ein teil von Object nicht und ObjectP2 ist ein teil von Object nicht und der abstand zwischen ObjectP1 und ObjectP2 ist RealNumber UnitOfMeasure(s) und RealNumber ist groesserAls ** RealNumber %n{nicht}
(=> (and (physicalEnd ?P1 ?O) (physicalEnd ?P2 ?O) (not (equal ?P1 ?P2)) (distance ?P1 ?P2 (MeasureFn ?D ?U))) (not (exists (?OP1 ?OP2 ?N2) (and (physicalEnd ?OP1 ?O) (physicalEnd ?OP2 ?O) (not (equal ?OP1 ?OP2)) (distance ?OP1 ?OP2 (MeasureFn ?N2 ?U)) (greaterThan ?N2 ?D)))))	Merge.kif 17947-17962	Wenn physicalEnd Object and Object und physicalEnd Object and Object und Object ist gleich Object nicht und der abstand zwischen Object und Object ist RealNumber UnitOfMeasure(s), dann es gibt nicht ObjectP1, ObjectP2, and und RealNumber um physicalEnd ObjectP1 and Object und physicalEnd ObjectP2 and Object und ObjectP1 ist gleich ObjectP2 nicht und der abstand zwischen ObjectP1 und ObjectP2 ist RealNumber UnitOfMeasure(s) und RealNumber ist groesserAls ** RealNumber %n{nicht}
(=> (and (relativeAngle ?O1 ?O2 ?N) (physicalEnd ?E1 ?O1) (physicalEnd ?E2 ?O1) (not (equal ?E1 ?E2)) (length ?O1 (MeasureFn ?N1 ?U)) (length ?O2 (MeasureFn ?N2 ?U)) (distance ?E1 ?E3 (MeasureFn ?N3 ?U)) (physicalEnd ?E3 ?O2) (physicalEnd ?E4 ?O2) (not (equal ?E3 ?E4)) (not (meetsSpatially ?E1 ?E3))) (equal ?N (ArcCosineFn (DivisionFn (SubtractionFn (SubtractionFn (MultiplicationFn ?N3 ?N3) (MultiplicationFn ?N1 ?N1)) (MultiplicationFn ?N2 ?N2)) (MultiplicationFn 2.0 (MultiplicationFn ?N1 ?N2))))))	Merge.kif 17906-17931	Wenn relativeAngle Object, Object and RealNumber und physicalEnd Object and Object und physicalEnd Object and Object und Object ist gleich Object nicht und die laenge von Object ist RealNumber1 UnitOfMeasure(s) %n{nicht} und die laenge von Object ist RealNumber2 UnitOfMeasure(s) %n{nicht} und der abstand zwischen Object und Object ist RealNumber3 UnitOfMeasure(s) und physicalEnd Object and Object und physicalEnd Object and Object und Object ist gleich Object nicht und Object schliesst Object raeumlich nicht an, dann RealNumber ist gleich der arcuskosinus von (( RealNumber3 und RealNumber3 und RealNumber1 und RealNumber1) und RealNumber2 und RealNumber2) und 2.0 und RealNumber1 und RealNumber2 %n{nicht}
(=> (physicalEnd ?E ?O) (attribute ?O LongAndThin))	Mid-level-ontology.kif 1262-1264	Wenn physicalEnd Object and Object, dann LongAndThin ist ein attribut von ** Object %n{nicht}
(=> (physicalEnd ?E ?O) (not (attribute ?E LongAndThin)))	Mid-level-ontology.kif 1266-1269	Wenn physicalEnd Object and Object, dann LongAndThin ist ein attribut von Object nicht
(=> (physicalEnd ?P1 ?O) (attribute ?O LongAndThin))	Merge.kif 17943-17945	Wenn physicalEnd Object and Object, dann LongAndThin ist ein attribut von ** Object %n{nicht}

consequent

(=>
    (and
        (physicalEnd ?P1 ?O)
        (physicalEnd ?P2 ?O)
        (not
            (equal ?P1 ?P2))
        (distance ?P1 ?P2
            (MeasureFn ?D ?U)))
    (not
        (exists (?OP1 ?OP2 ?N2)
            (and
                (physicalEnd ?OP1 ?O)
                (physicalEnd ?OP2 ?O)
                (not
                    (equal ?OP1 ?OP2))
                (distance ?OP1 ?OP2
                    (MeasureFn ?N2 ?U))
                (greaterThan ?N2 ?D)))))

Merge.kif 17947-17962

Wenn physicalEnd Object and ** Object und physicalEnd ** Object and ** ** Object und ** Object ist gleich ** ** Object nicht und der abstand zwischen ** Object und ** ** Object ist RealNumber UnitOfMeasure(s),
dann es gibt nicht ** ** ObjectP1, ** ** ObjectP2, and und ** RealNumber um physicalEnd ** ** ObjectP1 and ** ** Object und physicalEnd ** ** ObjectP2 and ** ** Object und ** ** ObjectP1 ist gleich ** ** ObjectP2 nicht und der abstand zwischen ** ** ObjectP1 und ** ** ObjectP2 ist ** ** RealNumber ** UnitOfMeasure(s) und ** ** RealNumber ist groesserAls ** RealNumber %n{nicht}

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: