origin

-------------------------


(=>
    (objectTransferred ?P ?OBJ)
    (exists (?O ?D)
        (and
            (origin ?P ?O)
            (destination ?P ?D)
            (holdsDuring
                (ImmediatePastFn ?P)
                (located ?OBJ ?O))
            (holdsDuring
                (ImmediateFutureFn ?P)
                (located ?OBJ ?D)))))		 Merge.kif 11361-11372
(=>
    (orientation ?O1 ?O2 Downstream)
    (exists (?T ?L ?P)
        (and
            (instance ?T Transfer)
            (attribute ?L Liquid)
            (path ?T ?P)
            (origin ?T ?O2)
            (beforeOnPath ?O2 ?O1 ?P ?T)
            (destination ?T ?O1))))		 Mid-level-ontology.kif 29789-29798
(=>
    (orientation ?O1 ?O2 Downwind)
    (exists (?T ?L ?P)
        (and
            (instance ?T Transfer)
            (attribute ?L Liquid)
            (path ?T ?P)
            (origin ?T ?O2)
            (beforeOnPath ?O2 ?O1 ?P ?T)
            (destination ?T ?O1))))		 Mid-level-ontology.kif 29811-29820
(=>
    (orientation ?O1 ?O2 Upstream)
    (exists (?T ?L ?P)
        (and
            (instance ?T Transfer)
            (attribute ?L Liquid)
            (path ?T ?P)
            (origin ?T ?O1)
            (beforeOnPath ?O1 ?O2 ?P ?T)
            (destination ?T ?O2))))		 Mid-level-ontology.kif 29778-29787
(=>
    (orientation ?O1 ?O2 Upwind)
    (exists (?T ?L ?P)
        (and
            (instance ?T Transfer)
            (attribute ?L Liquid)
            (path ?T ?P)
            (origin ?T ?O1)
            (beforeOnPath ?O1 ?O2 ?P ?T)
            (destination ?T ?O2))))		 Mid-level-ontology.kif 29800-29809
(=>
    (periodicPayment ?Account ?Amount ?Period)
    (exists (?Payment ?Class)
        (and
            (instance ?Payment Payment)
            (origin ?Payment
                (CurrencyFn ?Account))
            (transactionAmount ?Payment ?Amount)
            (instance ?Payment ?Class)
            (frequency ?Class ?Period))))		 FinancialOntology.kif 742-750
(=>
    (sheddingBodyPart ?O ?P)
    (exists (?M)
        (and
            (instance ?M Moulting)
            (origin ?M ?O)
            (patient ?M ?P))))		 Geography.kif 6453-6459
(=>
    (surfaceWindDirection ?PLACE ?DIR)
    (exists (?WIND ?FROM)
        (and
            (instance ?WIND Wind)
            (instance ?FROM Region)
            (eventPartlyLocated ?WIND ?PLACE)
            (origin ?WIND ?FROM)
            (orientation ?FROM ?PLACE ?DIR))))		 Weather.kif 178-186
(=>
    (voltageRatingSecondary ?O ?Q)
    (exists (?S ?EC ?E)
        (and
            (part ?S ?O)
            (instance ?EC ElectricTransmission)
            (origin ?EC ?S)
            (objectTransferred ?EC ?E)
            (instance ?E Electricity)
            (measure ?E ?Q))))		 Mid-level-ontology.kif 31292-31301


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