Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - beforeOnPath
beforeOnPath

appearance as argument number 1
-------------------------


(documentation beforeOnPath EnglishLanguage "(beforeOnPath ?OBJ1 ?OBJ2 ?PATH ?PROC) means that ?OBJ1 is spatially before ?OBJ2 on the path ?PATH with respect to a particular Transfer Process.") Mid-level-ontology.kif 31406-31407
(domain beforeOnPath 1 Object) Mid-level-ontology.kif 31408-31408 The number 1 argument of before on path is an instance of object
(domain beforeOnPath 2 Object) Mid-level-ontology.kif 31409-31409 The number 2 argument of before on path is an instance of object
(domain beforeOnPath 3 Object) Mid-level-ontology.kif 31410-31410 The number 3 argument of before on path is an instance of object
(domain beforeOnPath 4 Transfer) Mid-level-ontology.kif 31411-31411 The number 4 argument of before on path is an instance of transfer
(instance beforeOnPath QuaternaryPredicate) Mid-level-ontology.kif 31412-31412 before on path is an instance of quaternary predicate
(instance beforeOnPath SpatialRelation) Mid-level-ontology.kif 31413-31413 before on path is an instance of spatial relation

appearance as argument number 2
-------------------------


(format EnglishLanguage beforeOnPath "%1 %n before %2 on path %3 during %4") Mid-level-ontology.kif 31415-31415
(termFormat EnglishLanguage beforeOnPath "before on path") domainEnglishFormat.kif 65812-65812

consequent
-------------------------


(=>
    (and
        (betweenOnPath ?O1 ?O2 ?O3 ?PATH)
        (instance ?T Transfer)
        (path ?T ?PATH)
        (origin ?T ?O1)
        (destination ?T ?O3))
    (and
        (beforeOnPath ?O1 ?O2 ?PATH ?T)
        (beforeOnPath ?O2 ?O3 ?PATH ?T)))
Mid-level-ontology.kif 31418-31427
(=>
    (and
        (instance ?T Tailpipe)
        (instance ?TR Transfer)
        (instance ?E Exhaust)
        (instance ?A Automobile)
        (instance ?AES AutomobileExhaustSystem)
        (part ?T ?A)
        (path ?TR ?T)
        (patient ?TR ?E))
    (hasPurpose ?T
        (not
            (exists (?O)
                (and
                    (part ?O ?A)
                    (beforeOnPath ?T ?O ?AES ?TR))))))
Cars.kif 4107-4122
(=>
    (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 31440-31449
(=>
    (orientation ?O1 ?O2 Downwind)
    (exists (?W ?T ?P)
        (and
            (instance ?W Wind)
            (path ?T ?P)
            (origin ?T ?O2)
            (beforeOnPath ?O2 ?O1 ?P ?T)
            (destination ?T ?O1))))
Mid-level-ontology.kif 31462-31470
(=>
    (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 31429-31438
(=>
    (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 31451-31460


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