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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29767-29768
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29769-29769	O argumento numero 1 de beforeOnPath e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29770-29770	O argumento numero 2 de beforeOnPath e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29771-29771	O argumento numero 3 de beforeOnPath e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29772-29772	O argumento numero 4 de beforeOnPath e' uma instancia de Transferencia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29773-29773	beforeOnPath e' uma instancia de Predicado Quaternario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29774-29774	beforeOnPath e' uma instancia de Relacao Espacial

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29776-29776
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65786-65786

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29779-29788	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4046-4061	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29801-29810	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29823-29832	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29790-29799	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29812-29821	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