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

Formal Language: 



KB Term:  Term intersection
English Word: 

  beforeOnPath

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 29271-29272
(domain beforeOnPath 1 Object) Mid-level-ontology.kif 29273-29273 The number 1 argument of beforeOnPath is an instance of object
(domain beforeOnPath 2 Object) Mid-level-ontology.kif 29274-29274 The number 2 argument of beforeOnPath is an instance of object
(domain beforeOnPath 3 Object) Mid-level-ontology.kif 29275-29275 The number 3 argument of beforeOnPath is an instance of object
(domain beforeOnPath 4 Transfer) Mid-level-ontology.kif 29276-29276 The number 4 argument of beforeOnPath is an instance of transfer
(instance beforeOnPath QuaternaryPredicate) Mid-level-ontology.kif 29277-29277 beforeOnPath is an instance of quaternary predicate
(instance beforeOnPath SpatialRelation) Mid-level-ontology.kif 29278-29278 beforeOnPath 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 29280-29280

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 29283-29292
(=>
    (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 4049-4064
(=>
    (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 29305-29314
(=>
    (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 29327-29336
(=>
    (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 29294-29303
(=>
    (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 29316-29325


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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