| 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 31660-31661 | |
| (domain beforeOnPath 1 Object) | Mid-level-ontology.kif 31662-31662 | |
| (domain beforeOnPath 2 Object) | Mid-level-ontology.kif 31663-31663 | |
| (domain beforeOnPath 3 Object) | Mid-level-ontology.kif 31664-31664 | |
| (domain beforeOnPath 4 Transfer) | Mid-level-ontology.kif 31665-31665 | |
| (instance beforeOnPath QuaternaryPredicate) | Mid-level-ontology.kif 31666-31666 | |
| (instance beforeOnPath SpatialRelation) | Mid-level-ontology.kif 31667-31667 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage beforeOnPath "%1 %n before %2 on path %3 during %4") | Mid-level-ontology.kif 31669-31669 | |
| (termFormat EnglishLanguage beforeOnPath "before on path") | domainEnglishFormat.kif 65783-65783 |
| antecedent |
|
|
| (=> (and (instance ?W FohnWind) (path ?W ?P) (origin ?W ?H) (destination ?W ?L) (beforeOnPath ?H ?L ?P ?W)) (orientation ?L ?H Downhill)) |
Weather.kif 1733-1740 |
| 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 31672-31681 | |
| (=> (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 4107-4122 | |
| (=> (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 31694-31703 | |
| (=> (orientation ?O1 ?O2 Downwind) (exists (?W ?T ?P) (and (instance ?W Wind) (path ?T ?P) (origin ?T ?O2) (beforeOnPath ?O2 ?O1 ?P ?T) (destination ?T ?O1)))) |
Mid-level-ontology.kif 31716-31724 | |
| (=> (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 31683-31692 | |
| (=> (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 31705-31714 |
|
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