| 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 29792-29793 | |
| (domain beforeOnPath 1 Object) | Mid-level-ontology.kif 29794-29794 | |
| (domain beforeOnPath 2 Object) | Mid-level-ontology.kif 29795-29795 | |
| (domain beforeOnPath 3 Object) | Mid-level-ontology.kif 29796-29796 | |
| (domain beforeOnPath 4 Transfer) | Mid-level-ontology.kif 29797-29797 | |
| (instance beforeOnPath QuaternaryPredicate) | Mid-level-ontology.kif 29798-29798 | |
| (instance beforeOnPath SpatialRelation) | Mid-level-ontology.kif 29799-29799 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage beforeOnPath "%1 %n before %2 on path %3 during %4") | Mid-level-ontology.kif 29801-29801 | |
| (termFormat EnglishLanguage beforeOnPath "before on path") | domainEnglishFormat.kif 65788-65788 |
| 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 29804-29813 | |
| (=> (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 4031-4046 | |
| (=> (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 29826-29835 | |
| (=> (orientation ?O1 ?O2 Downwind) (exists (?W ?L ?P) (and (instance ?W Wind) (path ?T ?P) (origin ?T ?O2) (beforeOnPath ?O2 ?O1 ?P ?T) (destination ?T ?O1)))) |
Mid-level-ontology.kif 29848-29856 | |
| (=> (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 29815-29824 | |
| (=> (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 29837-29846 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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