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
flows
Sigma KEE - flows
flows
appearance as argument number 1
(
documentation
flows
EnglishLanguage
"(
flows
?FLUID1 ?FLUID2) means that the
Physical
?FLUID1 moves towards the
Physical
?FLUID2, to which it is
connected
.")
Geography.kif 5437-5439
(
domain
flows
1
(
ExtensionFn
Fluid
))
Geography.kif 5426-5426
域
流動
, 1 and
延期
流體
(
domain
flows
1
Physical
)
Geography.kif 5428-5428
域
流動
, 1 and
Physical
(
domain
flows
2
(
ExtensionFn
Fluid
))
Geography.kif 5427-5427
域
流動
, 2 and
延期
流體
(
domain
flows
2
Physical
)
Geography.kif 5429-5429
域
流動
, 2 and
Physical
(
instance
flows
AsymmetricRelation
)
Geography.kif 5424-5424
例
流動
and
AsymmetricRelation
(
instance
flows
BinaryPredicate
)
Geography.kif 5423-5423
例
流動
and
BinaryPredicate
(
instance
flows
TransitiveRelation
)
Geography.kif 5425-5425
例
流動
and
TransitiveRelation
appearance as argument number 2
(
format
ChineseLanguage
flows
"%2 %n 是 %1 的
flows
")
domainEnglishFormat.kif 1077-1077
(
format
ChineseTraditionalLanguage
flows
"%2 %n 是 %1 的
flows
")
domainEnglishFormat.kif 1076-1076
(
format
EnglishLanguage
flows
"%2 is %n a
flows
of %1")
domainEnglishFormat.kif 1075-1075
(
subrelation
tributary
flows
)
Geography.kif 5434-5434
子關係
支流
and
流動
(
termFormat
ChineseLanguage
flows
"流动")
domainEnglishFormat.kif 24356-24356
(
termFormat
ChineseTraditionalLanguage
flows
"流動")
domainEnglishFormat.kif 24355-24355
(
termFormat
EnglishLanguage
flows
"flows")
domainEnglishFormat.kif 24354-24354
antecedent
(=>
(
and
(
instance
?RIVER
River
)
(
instance
?WATER
BodyOfWater
)
(
flows
?RIVER ?WATER))
(
exists
(?MOUTH)
(
and
(
instance
?MOUTH
RiverMouth
)
(
streamOutfall
?MOUTH ?RIVER)
(
connected
?MOUTH ?WATER))))
Geography.kif 5661-5670
例
河
and
河
例
Object
and
水體
Object
是
河
的
flows
WaterArea
例
WaterArea
and
河口
WaterArea
是
河
的
outfall
連接的
WaterArea
and
Object
(=>
(
flows
?FLUID1 ?FLUID2)
(
connected
?FLUID1 ?FLUID2))
Geography.kif 5442-5444
Object
是
Object
的
flows
連接的
Object
and
Object
(=>
(
flows
?FLUID1 ?FLUID2)
(
orientation
?FLUID1 ?FLUID2
Upstream
))
Geography.kif 5446-5448
Object
是
Object
的
flows
方位
Object
,
Object
and
上游的
consequent
(=>
(
and
(
instance
?SYSTEM
RiverSystem
)
(
instance
?STREAM
StreamWaterArea
)
(
part
?STREAM ?SYSTEM))
(
exists
(?RIVER)
(
and
(
instance
?RIVER
River
)
(
part
?RIVER ?SYSTEM)
(
flows
?STREAM ?RIVER))))
Geography.kif 5533-5542
例
Object
and
河流系統
例
Object
and
StreamWaterArea
部分
Object
and
Object
Object
例
Object
and
河
部分
Object
and
Object
Object
是
Object
的
flows
(=>
(
instance
?FORK
StreamWaterConfluence
)
(
exists
(?STREAM ?BRANCH)
(
and
(
instance
?STREAM
River
)
(
instance
?BRANCH
StreamWaterArea
)
(
flows
?BRANCH ?STREAM)
(
connects
?FORK ?STREAM ?BRANCH))))
Geography.kif 5498-5505
例
Object
and
流水匯流
Object
Object
例
Object
and
河
例
Object
and
StreamWaterArea
Object
是
Object
的
flows
連接
Object
,
Object
and
Object
(=>
(
instance
?FORK
StreamWaterConfluence
)
(
exists
(?STREAM1 ?STREAM2)
(
and
(
instance
?STREAM1
StreamWaterArea
)
(
connects
?FORK ?STREAM1 ?STREAM2)
(
instance
?STREAM2
StreamWaterArea
)
(
flows
?STREAM1 ?STREAM2))))
Geography.kif 5489-5496
例
Object
and
流水匯流
Object
Object
例
Object
and
StreamWaterArea
連接
Object
,
Object
and
Object
例
Object
and
StreamWaterArea
Object
是
Object
的
flows
(=>
(
instance
?STREAM
StreamWaterArea
)
(
exists
(?WATER)
(
and
(
instance
?WATER
BodyOfWater
)
(
not
(
equal
?WATER ?STREAM))
(
flows
?STREAM ?WATER))))
Geography.kif 5415-5421
例
Physical
and
StreamWaterArea
Physical
例
Physical
and
水體
等於
Physical
and
Physical
Physical
是
Physical
的
flows
(=>
(
instance
?WATER
Estuary
)
(
exists
(?RIVER)
(
and
(
instance
?RIVER
River
)
(
flows
?RIVER ?WATER))))
Geography.kif 5195-5200
例
Physical
and
河口
Physical
例
Physical
and
河
Physical
是
Physical
的
flows
(=>
(
streamOutfall
?MOUTH ?RIVER)
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
flows
?RIVER ?WATER)
(
connected
?MOUTH ?WATER))))
Geography.kif 5693-5699
WaterArea
是
河
的
outfall
Object
例
Object
and
WaterArea
Object
是
河
的
flows
連接的
WaterArea
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