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


(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 3982-3986
(domain betweenOnPath 1 Object) Merge.kif 3990-3990 The number 1 argument of between on path is an instance of object
(domain betweenOnPath 2 Object) Merge.kif 3991-3991 The number 2 argument of between on path is an instance of object
(domain betweenOnPath 3 Object) Merge.kif 3992-3992 The number 3 argument of between on path is an instance of object
(domain betweenOnPath 4 Object) Merge.kif 3993-3993 The number 4 argument of between on path is an instance of object
(instance betweenOnPath QuaternaryPredicate) Merge.kif 3989-3989 between on path is an instance of quaternary predicate
(instance betweenOnPath SpatialRelation) Merge.kif 3988-3988 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 10855-10855
(termFormat ChineseTraditionalLanguage betweenOnPath "在路徑之間") domainEnglishFormat.kif 10854-10854
(termFormat EnglishLanguage betweenOnPath "before on path") Mid-level-ontology.kif 27959-27959
(termFormat EnglishLanguage betweenOnPath "between on path") domainEnglishFormat.kif 10853-10853

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 27961-27970
(=>
    (betweenOnPath ?OBJ1 ?OBJ2 ?OBJ3 ?PATH)
    (between ?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 3995-3997

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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners