TreeView Knowledge Base Browser - beforeOnPath

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - beforeOnPath

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	Die Zahl 1 Argument von beforeOnPath ist ein fall von Object %n{nicht}
(domain beforeOnPath 2 Object)	Mid-level-ontology.kif 29758-29758	Die Zahl 2 Argument von beforeOnPath ist ein fall von Object %n{nicht}
(domain beforeOnPath 3 Object)	Mid-level-ontology.kif 29759-29759	Die Zahl 3 Argument von beforeOnPath ist ein fall von Object %n{nicht}
(domain beforeOnPath 4 Transfer)	Mid-level-ontology.kif 29760-29760	Die Zahl 4 Argument von beforeOnPath ist ein fall von Transfer %n{nicht}
(instance beforeOnPath QuaternaryPredicate)	Mid-level-ontology.kif 29761-29761	beforeOnPath ist ein fall von QuaternaryPredicate %n{nicht}
(instance beforeOnPath SpatialRelation)	Mid-level-ontology.kif 29762-29762	beforeOnPath ist ein fall von SpatialRelation %n{nicht}

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	Wenn betweenOnPath Object, Object, Object and Object und Transfer ist ein fall von Transfer %n{nicht} und Object ist der pfad entlang dem Transfer geschieht und Transfer beginnet an Object %n{nicht} und Transfer endet an Object %n{nicht}, dann beforeOnPath Object, Object, Object and Transfer und beforeOnPath Object, Object, Object and Transfer
(=> (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	Wenn Object ist ein fall von Tailpipe %n{nicht} und ObjectR ist ein fall von Transfer %n{nicht} und Entity ist ein fall von Exhaust %n{nicht} und Object ist ein fall von Automobile %n{nicht} und ObjectES ist ein fall von AutomobileExhaustSystem %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist der pfad entlang dem ObjectR geschieht und Entity ist ein patient von ObjectR %n{nicht}, dann Object hat Zweck von es gibt nicht entity um entity ist ein teil von Object %n{nicht} und beforeOnPath Object, entity, ObjectES and ** ObjectR %n{nicht}
(=> (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	Wenn Object ist Downstream hinsichlich Object %n{nicht}, dann es gibt Transfer, Object, and und Object um Transfer ist ein fall von Transfer %n{nicht} und Liquid ist ein attribut von Object %n{nicht} und Object ist der pfad entlang dem Transfer geschieht und Transfer beginnet an Object %n{nicht} und beforeOnPath Object, Object, Object and Transfer und Transfer endet an Object %n{nicht}
(=> (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	Wenn Object ist Downwind hinsichlich Object %n{nicht}, dann es gibt Transfer, Object, and und Object um Transfer ist ein fall von Transfer %n{nicht} und Liquid ist ein attribut von Object %n{nicht} und Object ist der pfad entlang dem Transfer geschieht und Transfer beginnet an Object %n{nicht} und beforeOnPath Object, Object, Object and Transfer und Transfer endet an Object %n{nicht}
(=> (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	Wenn Object ist Upstream hinsichlich Object %n{nicht}, dann es gibt Transfer, Object, and und Object um Transfer ist ein fall von Transfer %n{nicht} und Liquid ist ein attribut von Object %n{nicht} und Object ist der pfad entlang dem Transfer geschieht und Transfer beginnet an Object %n{nicht} und beforeOnPath Object, Object, Object and Transfer und Transfer endet an Object %n{nicht}
(=> (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	Wenn Object ist Upwind hinsichlich Object %n{nicht}, dann es gibt Transfer, Object, and und Object um Transfer ist ein fall von Transfer %n{nicht} und Liquid ist ein attribut von Object %n{nicht} und Object ist der pfad entlang dem Transfer geschieht und Transfer beginnet an Object %n{nicht} und beforeOnPath Object, Object, Object and Transfer und Transfer endet an Object %n{nicht}

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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