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	Die Zahl 1 Argument von betweenOnPath ist ein fall von Object %n{nicht}
(domain betweenOnPath 2 Object)	Merge.kif 4175-4175	Die Zahl 2 Argument von betweenOnPath ist ein fall von Object %n{nicht}
(domain betweenOnPath 3 Object)	Merge.kif 4176-4176	Die Zahl 3 Argument von betweenOnPath ist ein fall von Object %n{nicht}
(domain betweenOnPath 4 Object)	Merge.kif 4177-4177	Die Zahl 4 Argument von betweenOnPath ist ein fall von Object %n{nicht}
(instance betweenOnPath QuaternaryPredicate)	Merge.kif 4173-4173	betweenOnPath ist ein fall von QuaternaryPredicate %n{nicht}
(instance betweenOnPath SpatialRelation)	Merge.kif 4172-4172	betweenOnPath ist ein fall von SpatialRelation %n{nicht}

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 10907-10907
(termFormat ChineseTraditionalLanguage betweenOnPath "在路徑之間")	domainEnglishFormat.kif 10906-10906
(termFormat EnglishLanguage betweenOnPath "before on path")	Mid-level-ontology.kif 29802-29802
(termFormat EnglishLanguage betweenOnPath "between on path")	domainEnglishFormat.kif 10905-10905

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 29804-29813	Wenn betweenOnPath Object, Object, Object and Object und Transfer ist ein fall von Transfer %n{nicht} und Object ist der pfad entlang dem Transfer geschieht und Transfer beginnet an Object %n{nicht} und Transfer endet an Object %n{nicht}, dann beforeOnPath Object, Object, Object and Transfer und beforeOnPath Object, Object, Object and Transfer
(=> (betweenOnPath ?OBJ1 ?OBJ2 ?OBJ3 ?PATH) (between ?OBJ1 ?OBJ2 ?OBJ3))	Merge.kif 4179-4181	Wenn betweenOnPath Object, Object, Object and Object, dann Object ist zwischen Object und Object %n{nicht}

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

Wenn Object ist ein fall von FuelPump %n{nicht} und ** Object ist ein fall von Automobile %n{nicht} und ** Object ist ein teil von ** ** Object %n{nicht} und Motion ist ein fall von Transportation %n{nicht} und Process ist ein fall von Fuel %n{nicht} und ** Process ist ein patient von ** Motion %n{nicht} und ** Object ist ein instrument fuer ** Process %n{nicht} und ** Object ist ein fall von GasTank %n{nicht} und ** ** Object ist ein teil von ** ** Object %n{nicht} und ** Object ist ein fall von EngineCylinder %n{nicht} und ** ** Object ist ein teil von ** ** Object %n{nicht} und ** Motion beginnet an ** ** Object %n{nicht} und ** Motion endet an ** ** Object %n{nicht} und ** Object ist der pfad entlang dem ** Motion geschieht,
dann ** Motion hat Zweck von es gibt ** ProcessF um ** ProcessF ist ein fall von FuelFilter %n{nicht} und betweenOnPath ** ** Object, ** ProcessF, ** ** Object and ** ** Object %n{nicht}

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: