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 数量 是 客体 的 instance |
(domain beforeOnPath 2 Object) | Mid-level-ontology.kif 29758-29758 | beforeOnPath 的 2 数量 是 客体 的 instance |
(domain beforeOnPath 3 Object) | Mid-level-ontology.kif 29759-29759 | beforeOnPath 的 3 数量 是 客体 的 instance |
(domain beforeOnPath 4 Transfer) | Mid-level-ontology.kif 29760-29760 | beforeOnPath 的 4 数量 是 转移 的 instance |
(instance beforeOnPath QuaternaryPredicate) | Mid-level-ontology.kif 29761-29761 | beforeOnPath 是 四元谓语 的 instance |
(instance beforeOnPath SpatialRelation) | Mid-level-ontology.kif 29762-29762 | beforeOnPath 是 空间关系 的 instance |
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 |