TreeView Knowledge Base Browser - betweenOnPath

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	The number 1 argument of between on path is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4175-4175	The number 2 argument of between on path is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4176-4176	The number 3 argument of between on path is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4177-4177	The number 4 argument of between on path is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4173-4173	between on path is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4172-4172	between on path is an instance of spatial relation

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	If an object between on path another object for a third object and a transfer is an instance of transfer and a fourth object is path along which the transfer occurs and the transfer originates at the object and the transfer ends up at the third object, then the object before the other object on path the fourth object during the transfer and the other object before the third object on path the fourth object during the transfer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4179-4181	If an object between on path another object for a third object, then the other object is between the object and the third object

consequent

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

Cars.kif 1070-1090

If an object is an instance of fuel pump and another object is an instance of automobile and the object is a part of the other object and a motion is an instance of transportation and a process is an instance of fuel and the process is a patient of the motion and the object is an instrument for the process and a third object is an instance of gas tank and the third object is a part of the other object and a fourth object is an instance of engine cylinder and the fourth object is a part of the other object and the motion originates at the third object and the motion ends up at the fourth object and a fifth object is path along which the motion occurs,
then the motion has the purpose there exists the processF such that the processF is an instance of fuel filter and the third object between on path the processF for the fourth object

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