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	O argumento numero 1 de beforeOnPath e' uma instancia de Objeto
(domain beforeOnPath 2 Object)	Mid-level-ontology.kif 29758-29758	O argumento numero 2 de beforeOnPath e' uma instancia de Objeto
(domain beforeOnPath 3 Object)	Mid-level-ontology.kif 29759-29759	O argumento numero 3 de beforeOnPath e' uma instancia de Objeto
(domain beforeOnPath 4 Transfer)	Mid-level-ontology.kif 29760-29760	O argumento numero 4 de beforeOnPath e' uma instancia de Transferencia
(instance beforeOnPath QuaternaryPredicate)	Mid-level-ontology.kif 29761-29761	beforeOnPath e' uma instancia de Predicado Quaternario
(instance beforeOnPath SpatialRelation)	Mid-level-ontology.kif 29762-29762	beforeOnPath e' uma instancia de Relacao Espacial

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	betweenOnPath Objeto, Objeto, Objeto and Objeto Transferencia e' uma instancia de Transferencia Objeto e' o caminho ao longo do qual Transferencia ocorre Transferencia tem como origem Objeto Transferencia termina em Objeto beforeOnPath Objeto, Objeto, Objeto and Transferencia beforeOnPath Objeto, Objeto, Objeto and Transferencia
(=> (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	Objeto e' uma instancia de Tailpipe ObjetoR e' uma instancia de Transferencia Entidade e' uma instancia de Exhaust Objeto e' uma instancia de Automobile ObjetoES e' uma instancia de AutomobileExhaustSystem Objeto e' uma &parte de Objeto Objeto e' o caminho ao longo do qual ObjetoR ocorre Entidade e' um patient de ObjetoR Objeto tem por fim Entidade Entidade e' uma &parte de Objeto beforeOnPath Objeto, Entidade, ObjetoES and ObjetoR
(=> (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	Objeto e' Downstream em relacao a Objeto Transferencia Objeto and Objeto Transferencia e' uma instancia de Transferencia Liquid e' um atributo de Objeto Objeto e' o caminho ao longo do qual Transferencia ocorre Transferencia tem como origem Objeto beforeOnPath Objeto, Objeto, Objeto and Transferencia Transferencia termina em Objeto
(=> (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	Objeto e' Downwind em relacao a Objeto Transferencia Objeto and Objeto Transferencia e' uma instancia de Transferencia Liquid e' um atributo de Objeto Objeto e' o caminho ao longo do qual Transferencia ocorre Transferencia tem como origem Objeto beforeOnPath Objeto, Objeto, Objeto and Transferencia Transferencia termina em Objeto
(=> (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	Objeto e' Upstream em relacao a Objeto Transferencia Objeto and Objeto Transferencia e' uma instancia de Transferencia Liquid e' um atributo de Objeto Objeto e' o caminho ao longo do qual Transferencia ocorre Transferencia tem como origem Objeto beforeOnPath Objeto, Objeto, Objeto and Transferencia Transferencia termina em Objeto
(=> (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	Objeto e' Upwind em relacao a Objeto Transferencia Objeto and Objeto Transferencia e' uma instancia de Transferencia Liquid e' um atributo de Objeto Objeto e' o caminho ao longo do qual Transferencia ocorre Transferencia tem como origem Objeto beforeOnPath Objeto, Objeto, Objeto and Transferencia Transferencia termina em Objeto

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