Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
beforeOnPath
Sigma KEE - beforeOnPath
beforeOnPath
appearance as argument number 1
(
documentation
beforeOnPath
EnglishLanguage
"(beforeOnPath ?OBJ1 ?OBJ2 ?PATH ?PROC) means that ?OBJ1 is spatially before ?OBJ2 on the path ?PATH with respect to a particular
Transfer
Process
.")
Mid-level-ontology.kif 29767-29768
(
domain
beforeOnPath
1
Object
)
Mid-level-ontology.kif 29769-29769
域
beforeOnPath
, 1 and
Object
(
domain
beforeOnPath
2
Object
)
Mid-level-ontology.kif 29770-29770
域
beforeOnPath
, 2 and
Object
(
domain
beforeOnPath
3
Object
)
Mid-level-ontology.kif 29771-29771
域
beforeOnPath
, 3 and
Object
(
domain
beforeOnPath
4
Transfer
)
Mid-level-ontology.kif 29772-29772
域
beforeOnPath
, 4 and
Transfer
(
instance
beforeOnPath
QuaternaryPredicate
)
Mid-level-ontology.kif 29773-29773
例
beforeOnPath
and
QuaternaryPredicate
(
instance
beforeOnPath
SpatialRelation
)
Mid-level-ontology.kif 29774-29774
例
beforeOnPath
and
SpatialRelation
appearance as argument number 2
(
format
EnglishLanguage
beforeOnPath
"%1 %n before %2 on path %3 during %4")
Mid-level-ontology.kif 29776-29776
(
termFormat
EnglishLanguage
beforeOnPath
"before on path")
domainEnglishFormat.kif 65786-65786
consequent
(=>
(
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 29779-29788
Object
對於
Object
between
在路徑
Object
例
Transfer
and
Transfer
路徑
Transfer
and
Object
起源
Transfer
and
Object
目的地
Transfer
and
Object
beforeOnPath
Object
,
Object
,
Object
and
Transfer
beforeOnPath
Object
,
Object
,
Object
and
Transfer
(=>
(
and
(
instance
?T
Tailpipe
)
(
instance
?TR
Transfer
)
(
instance
?E
Exhaust
)
(
instance
?A
Automobile
)
(
instance
?AES
AutomobileExhaustSystem
)
(
part
?T ?A)
(
path
?TR ?T)
(
patient
?TR ?E))
(
hasPurpose
?T
(
not
(
exists
(?O)
(
and
(
part
?O ?A)
(
beforeOnPath
?T ?O ?AES ?TR))))))
Cars.kif 4046-4061
例
Object
and
Tailpipe
例
Object
R and
Transfer
例
Entity
and
Exhaust
例
Object
and
汽車
例
Object
ES and
AutomobileExhaustSystem
部分
Object
and
Object
路徑
Object
R and
Object
患者
Object
R and
Entity
有目的
Object
and
entity
部分
entity
and
Object
beforeOnPath
Object
,
entity
,
Object
ES and
Object
R
(=>
(
orientation
?O1 ?O2
Downstream
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O2)
(
beforeOnPath
?O2 ?O1 ?P ?T)
(
destination
?T ?O1))))
Mid-level-ontology.kif 29801-29810
方位
Object
,
Object
and
下游
Transfer
Object
and
Object
例
Transfer
and
Transfer
attribute
Object
and
液體
路徑
Transfer
and
Object
起源
Transfer
and
Object
beforeOnPath
Object
,
Object
,
Object
and
Transfer
目的地
Transfer
and
Object
(=>
(
orientation
?O1 ?O2
Downwind
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O2)
(
beforeOnPath
?O2 ?O1 ?P ?T)
(
destination
?T ?O1))))
Mid-level-ontology.kif 29823-29832
方位
Object
,
Object
and
順風
Transfer
Object
and
Object
例
Transfer
and
Transfer
attribute
Object
and
液體
路徑
Transfer
and
Object
起源
Transfer
and
Object
beforeOnPath
Object
,
Object
,
Object
and
Transfer
目的地
Transfer
and
Object
(=>
(
orientation
?O1 ?O2
Upstream
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O1)
(
beforeOnPath
?O1 ?O2 ?P ?T)
(
destination
?T ?O2))))
Mid-level-ontology.kif 29790-29799
方位
Object
,
Object
and
上游的
Transfer
Object
and
Object
例
Transfer
and
Transfer
attribute
Object
and
液體
路徑
Transfer
and
Object
起源
Transfer
and
Object
beforeOnPath
Object
,
Object
,
Object
and
Transfer
目的地
Transfer
and
Object
(=>
(
orientation
?O1 ?O2
Upwind
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O1)
(
beforeOnPath
?O1 ?O2 ?P ?T)
(
destination
?T ?O2))))
Mid-level-ontology.kif 29812-29821
方位
Object
,
Object
and
上風
Transfer
Object
and
Object
例
Transfer
and
Transfer
attribute
Object
and
液體
路徑
Transfer
and
Object
起源
Transfer
and
Object
beforeOnPath
Object
,
Object
,
Object
and
Transfer
目的地
Transfer
and
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