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 4142-4146
(domain betweenOnPath 1 Object)	Merge.kif 4150-4150	在路径之间的 1 数量是客体的 instance
(domain betweenOnPath 2 Object)	Merge.kif 4151-4151	在路径之间的 2 数量是客体的 instance
(domain betweenOnPath 3 Object)	Merge.kif 4152-4152	在路径之间的 3 数量是客体的 instance
(domain betweenOnPath 4 Object)	Merge.kif 4153-4153	在路径之间的 4 数量是客体的 instance
(instance betweenOnPath QuaternaryPredicate)	Merge.kif 4149-4149	在路径之间是四元谓语的 instance
(instance betweenOnPath SpatialRelation)	Merge.kif 4148-4148	在路径之间是空间关系的 instance

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 10911-10911
(termFormat ChineseTraditionalLanguage betweenOnPath "在路徑之間")	domainEnglishFormat.kif 10910-10910
(termFormat EnglishLanguage betweenOnPath "before on path")	Mid-level-ontology.kif 29693-29693
(termFormat EnglishLanguage betweenOnPath "between on path")	domainEnglishFormat.kif 10909-10909

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 29695-29704	如果客体對於另一个客体 between 在路徑第三客体和转移是转移的 instance 和第四客体%n是那个转移发生的path 和那个客体是那个转移的源头和那个转移在那个另外客体结束，然后 beforeOnPath 那个客体, 那个第三客体, 那个第四客体 and 那个转移和 beforeOnPath 那个第三客体, 那个另外客体, 那个第四客体 and 那个转移
(=> (betweenOnPath ?OBJ1 ?OBJ2 ?OBJ3 ?PATH) (between ?OBJ1 ?OBJ2 ?OBJ3))	Merge.kif 4155-4157	如果客体對於另一个客体 between 在路徑第三客体，然后那个第三客体是在那个客体和那个另外客体 between

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