betweenOnPath - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - betweenOnPath

betweenOnPath

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2122-2124
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4166-4170
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 775-778
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4174-4174	O argumento numero 1 de betweenOnPath e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4175-4175	O argumento numero 2 de betweenOnPath e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4176-4176	O argumento numero 3 de betweenOnPath e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4177-4177	O argumento numero 4 de betweenOnPath e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4173-4173	betweenOnPath e' uma instancia de Predicado Quaternario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4172-4172	betweenOnPath e' uma instancia de Relacao Espacial

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 276-276
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 275-275
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 274-274
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10907-10907
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10906-10906
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29802-29802
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10905-10905

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29804-29813	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.	Merge.kif 4179-4181	betweenOnPath Objeto, Objeto, Objeto and Objeto Objeto esta' entre Objeto e Objeto

consequent

No TPTP formula. May not be expressible in strict first order.

Cars.kif 1070-1090

Objeto e' uma instancia de FuelPump Objeto e' uma instancia de Automobile Objeto e' uma &parte de Objeto Movimento e' uma instancia de Transporte Processo e' uma instancia de Fuel Processo e' um patient de Movimento Objeto e' um instrumento para Processo Objeto e' uma instancia de GasTank Objeto e' uma &parte de Objeto Objeto e' uma instancia de EngineCylinder Objeto e' uma &parte de Objeto Movimento tem como origem Objeto Movimento termina em Objeto Objeto e' o caminho ao longo do qual Movimento ocorre
Movimento tem por fim ProcessoF ProcessoF e' uma instancia de FuelFilter betweenOnPath Objeto, ProcessoF, Objeto and Objeto

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