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 29767-29768 | |
(domain beforeOnPath 1 Object) | Mid-level-ontology.kif 29769-29769 | Le nombre 1 argument de beforeOnPath est une instance de objet |
(domain beforeOnPath 2 Object) | Mid-level-ontology.kif 29770-29770 | Le nombre 2 argument de beforeOnPath est une instance de objet |
(domain beforeOnPath 3 Object) | Mid-level-ontology.kif 29771-29771 | Le nombre 3 argument de beforeOnPath est une instance de objet |
(domain beforeOnPath 4 Transfer) | Mid-level-ontology.kif 29772-29772 | Le nombre 4 argument de beforeOnPath est une instance de transf�re |
(instance beforeOnPath QuaternaryPredicate) | Mid-level-ontology.kif 29773-29773 | beforeOnPath est une instance de pr�dicat quaternaire |
(instance beforeOnPath SpatialRelation) | Mid-level-ontology.kif 29774-29774 | beforeOnPath est une instance de relation spatial |
appearance as argument number 2 |
(format EnglishLanguage beforeOnPath "%1 %n before %2 on path %3 during %4") | Mid-level-ontology.kif 29776-29776 | |
(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 29779-29788 | |
(=> (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 4046-4061 |
|
(=> (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 29801-29810 | |
(=> (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 29823-29832 | |
(=> (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 29790-29799 | |
(=> (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 29812-29821 |