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