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 1250-1251
(domain physicalEnd 1 Object)	Merge.kif 18038-18038	The number 1 argument of physical end is an instance of object
(domain physicalEnd 2 Object)	Merge.kif 18039-18039	The number 2 argument of physical end is an instance of object
(instance physicalEnd BinaryPredicate)	Mid-level-ontology.kif 1247-1247	physical end is an instance of binary predicate
(instance physicalEnd BinaryRelation)	Merge.kif 18037-18037	physical end is an instance of binary relation
(subrelation physicalEnd part)	Merge.kif 18045-18045	physical end is a subrelation of part
(subrelation physicalEnd properPart)	Mid-level-ontology.kif 1248-1248	physical end is a subrelation of proper part

appearance as argument number 2

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

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 1325-1348	If an object is an instance of lever and a process is an instance of pushing and a physical is an instance of motion and an unit of measure is an instance of unit of length and the process ends up at another object and one end of the object is the other object and one end of the object is a third object and the other object is not equal to the third object and the other object is located at the process1 holds during immediately before the time of existence of the physical and the other object is located at the process2 holds during immediately after the time of existence of the physical and the third object is located at the process3 holds during immediately before the time of existence of the physical and the third object is located at the process4 holds during immediately after the time of existence of the physical and the distance between the process1 and the process2 is a real number the unit of measure(s) and the distance between the process3 and the process4 is another real number the unit of measure(s), then the other real number is greater than the real number
(=> (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 1757-1779	If the insertion point of a kind of muscle is a kind of body part and an object is an instance of human and standard anatomical position is an attribute of the object holds during a time interval and healthy is an attribute of the object and another time interval is an instance of muscular contraction and the time of existence of the other time interval takes place during the time interval and another object is an instance of a kind of muscle and the other object is a part of the object and the other object is an instrument for the other time interval and one end of the other object is a third object and the third object meets a fourth object and the third object is located at an entity holds during the beginning of the other time interval, then the third object is not located at the entity holds during the end of the other time interval
(=> (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 1707-1728	If the origin of a kind of muscle is a kind of body part and an object is an instance of human and standard anatomical position is an attribute of the object holds during a time interval and healthy is an attribute of the object and another time interval is an instance of muscular contraction and the time of existence of the other time interval takes place during the time interval and another object is an instance of a kind of muscle and the other object is a part of the object and the other object is an instrument for the other time interval and one end of the other object is a third object and the third object meets a fourth object and the third object is located at an entity holds during the beginning of the other time interval, then the third object is located at the entity holds during the end of the other time interval
(=> (and (physicalEnd ?E ?O) (superficialPart ?SP ?O)) (meetsSpatially ?E ?SP))	Mid-level-ontology.kif 1282-1286	If one end of an object is another object and a third object is a superficial part of the object, then the other object meets the third object
(=> (and (physicalEnd ?E1 ?O) (physicalEnd ?E2 ?O) (not (equal ?E1 ?E2))) (not (meetsSpatially ?E1 ?E2)))	Mid-level-ontology.kif 1273-1280	If one end of an object is another object and one end of the object is a third object and the other object is not equal to the third object, then the other object doesn't meet the third object
(=> (and (physicalEnd ?E1 ?O) (physicalEnd ?E2 ?O) (not (equal ?E1 ?E2))) (not (overlapsSpatially ?E1 ?E2)))	Mid-level-ontology.kif 1264-1271	If one end of an object is another object and one end of the object is a third object and the other object is not equal to the third object, then the other object and the third object doesn't overlapsSpatially
(=> (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 1288-1308	If one end of an object is another object and one end of the object is a third object and a fourth object is a part of the other object and a fifth object is a part of the third object and an unit of measure is an instance of unit of length and the distance between the fourth object and the fifth object is a real number the unit of measure(s) and the other object is not equal to the third object, then there don't exist the objectP1, the objectP2 and another real number such that the objectP1 is not a part of the other object and the objectP2 is not a part of the third object and the distance between the objectP1 and the objectP2 is the other real number the unit of measure(s) and the other real number is greater than the real number
(=> (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 18051-18066	If one end of an object is another object and one end of the object is a third object and the other object is not equal to the third object and the distance between the other object and the third object is a real number an unit of measure(s), then there don't exist the objectP1, the objectP2 and another real number such that one end of the object is the objectP1 and one end of the object is the objectP2 and the objectP1 is not equal to the objectP2 and the distance between the objectP1 and the objectP2 is the other real number the unit of measure(s) and the other real number is greater than the real number
(=> (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 18010-18035	If the relative angle between an object and another object is a real number and one end of the object is a third object and one end of the object is a fourth object and the third object is not equal to the fourth object and the length of the object is the real number1 an unit of measure(s) and the length of the other object is the real number2 the unit of measure(s) and the distance between the third object and a fifth object is the real number3 the unit of measure(s) and one end of the other object is the fifth object and one end of the other object is a sixth object and the fifth object is not equal to the sixth object and the third object doesn't meet the fifth object, then the real number is equal to the arccosine of ((the real number3 and the real number3 and the real number1 and the real number1) and the real number2 and the real number2) and 2.0 and the real number1 and the real number2
(=> (physicalEnd ?E ?O) (attribute ?O LongAndThin))	Mid-level-ontology.kif 1255-1257	If one end of an object is another object, then long and thin is an attribute of the object
(=> (physicalEnd ?E ?O) (not (attribute ?E LongAndThin)))	Mid-level-ontology.kif 1259-1262	If one end of an object is another object, then long and thin is not an attribute of the other object
(=> (physicalEnd ?P1 ?O) (attribute ?O LongAndThin))	Merge.kif 18047-18049	If one end of an object is another object, then long and thin is an attribute of the object

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 18051-18066

If one end of an object is another object and one end of the object is a third object and the other object is not equal to the third object and the distance between the other object and the third object is a real number an unit of measure(s),
then there don't exist the objectP1, the objectP2 and another real number such that one end of the object is the objectP1 and one end of the object is the objectP2 and the objectP1 is not equal to the objectP2 and the distance between the objectP1 and the objectP2 is the other real number the unit of measure(s) and the other real number is greater than the real number

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: