betweenOnPath - Sigma Knowledge base Browser

appearance as argument number 1

(documentation betweenOnPath ChineseLanguage "(betweenOnPath ?OBJ1 ?OBJ2 ?OBJ3 ?PATH) 的意思是 ?OBJ2 所处的路径 ?PATH 在空间上位于 ?OBJ1 和 ?OBJ3 之间。注：这是之间的一个更加专门的关系，因为在一条路径上之间的任何物体，根本就是在它们之间。")	chinese_format.kif 2122-2124
(documentation betweenOnPath EnglishLanguage "(betweenOnPath ?OBJ1 ?OBJ2 ?OBJ3 ?PATH) means that ?OBJ2 is spatially located between ?OBJ1 and ?OBJ3 on the path ?PATH. Note that this is a more specialized relation of between since any object that is between others with respect to a particular path is also simply between them.")	Merge.kif 4166-4170
(documentation betweenOnPath JapaneseLanguage "(betweenOnPath ?OBJ1 ?OBJ2 ?OBJ3 ?PATH) とは、 ?OBJ2 がパス ?PATH 上の ?OBJ1 と ?OBJ3 の間に空間的に配置されたことを意味する。　注：これは、特定のパスに関して他のオブジェクト間のオブジェクトも単にそれらの間に存在するため、より特殊な関係である。")	japanese_format.kif 775-778
(domain betweenOnPath 1 Object)	Merge.kif 4174-4174	The number 1 argument of between on path is an instance of object
(domain betweenOnPath 2 Object)	Merge.kif 4175-4175	The number 2 argument of between on path is an instance of object
(domain betweenOnPath 3 Object)	Merge.kif 4176-4176	The number 3 argument of between on path is an instance of object
(domain betweenOnPath 4 Object)	Merge.kif 4177-4177	The number 4 argument of between on path is an instance of object
(instance betweenOnPath QuaternaryPredicate)	Merge.kif 4173-4173	between on path is an instance of quaternary predicate
(instance betweenOnPath SpatialRelation)	Merge.kif 4172-4172	between on path is an instance of spatial relation

appearance as argument number 2

(format ChineseLanguage betweenOnPath "%1 %n{不} 對於 %3 between 在路徑 %2")	domainEnglishFormat.kif 276-276
(format ChineseTraditionalLanguage betweenOnPath "%1 %n{不} 對於 %3 between 在路徑 %2")	domainEnglishFormat.kif 275-275
(format EnglishLanguage betweenOnPath "%1 %n{doesn't} between on path %2 for %3")	domainEnglishFormat.kif 274-274
(termFormat ChineseLanguage betweenOnPath "在路径之间")	domainEnglishFormat.kif 10921-10921
(termFormat ChineseTraditionalLanguage betweenOnPath "在路徑之間")	domainEnglishFormat.kif 10920-10920
(termFormat EnglishLanguage betweenOnPath "before on path")	Mid-level-ontology.kif 30035-30035
(termFormat EnglishLanguage betweenOnPath "between on path")	domainEnglishFormat.kif 10919-10919

antecedent

(=> (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 30037-30046	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
(=> (betweenOnPath ?OBJ1 ?OBJ2 ?OBJ3 ?PATH) (between ?OBJ1 ?OBJ2 ?OBJ3))	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

(=>
    (and
        (instance ?FP FuelPump)
        (instance ?A Automobile)
        (part ?FP ?A)
        (instance ?T Transportation)
        (instance ?F Fuel)
        (patient ?T ?F)
        (instrument ?F ?FP)
        (instance ?GT GasTank)
        (part ?GT ?A)
        (instance ?EC EngineCylinder)
        (part ?EC ?A)
        (origin ?T ?GT)
        (destination ?T ?EC)
        (path ?T ?P))
    (hasPurpose ?T
        (exists (?FF)
            (and
                (instance ?FF FuelFilter)
                (betweenOnPath ?GT ?FF ?EC ?P)))))

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 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

KB Term:			Term intersection

English Word: