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 29755-29756
(domain beforeOnPath 1 Object) Mid-level-ontology.kif 29757-29757
(domain beforeOnPath 2 Object) Mid-level-ontology.kif 29758-29758
(domain beforeOnPath 3 Object) Mid-level-ontology.kif 29759-29759
(domain beforeOnPath 4 Transfer) Mid-level-ontology.kif 29760-29760
(instance beforeOnPath QuaternaryPredicate) Mid-level-ontology.kif 29761-29761
(instance beforeOnPath SpatialRelation) Mid-level-ontology.kif 29762-29762

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


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

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 29767-29776
(=>
    (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 4054-4069
(=>
    (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


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