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
flows
の数値 1 引数は
Fluid
に対する
class
の
instance
では %n
(
domain
flows
1
Physical
)
Geography.kif 5428-5428
flows
の数値 1 引数は
物理
の
instance
では %n
(
domain
flows
2
(
ExtensionFn
Fluid
))
Geography.kif 5427-5427
flows
の数値 2 引数は
Fluid
に対する
class
の
instance
では %n
(
domain
flows
2
Physical
)
Geography.kif 5429-5429
flows
の数値 2 引数は
物理
の
instance
では %n
(
instance
flows
AsymmetricRelation
)
Geography.kif 5424-5424
flows
は
非対称関係
の
instance
では %n
(
instance
flows
BinaryPredicate
)
Geography.kif 5423-5423
flows
は
2進述語
の
instance
では %n
(
instance
flows
TransitiveRelation
)
Geography.kif 5425-5425
flows
は
推移関係
の
instance
では %n
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
tributary
は
flows
の
subrelation
では %n
(
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
River
は
River
の
instance
では %n
オブジェクト
は
BodyOfWater
の
instance
では %n
flows
River
and
オブジェクト
水域
水域
は
RiverMouth
の
instance
では %n
streamOutfall
水域
and
River
水域
は
オブジェクト
と
connected
して
(=>
(
flows
?FLUID1 ?FLUID2)
(
connected
?FLUID1 ?FLUID2))
Geography.kif 5442-5444
flows
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
と
connected
して
(=>
(
flows
?FLUID1 ?FLUID2)
(
orientation
?FLUID1 ?FLUID2
Upstream
))
Geography.kif 5446-5448
flows
オブジェクト
and
オブジェクト
オブジェクト
は
Upstream
対
オブジェクト
では %n
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
オブジェクト
は
RiverSystem
の
instance
では %n
オブジェクト
は
河川水域
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
オブジェクト
は
River
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
flows
オブジェクト
and
オブジェクト
(=>
(
instance
?FORK
StreamWaterConfluence
)
(
exists
(?STREAM ?BRANCH)
(
and
(
instance
?STREAM
River
)
(
instance
?BRANCH
StreamWaterArea
)
(
flows
?BRANCH ?STREAM)
(
connects
?FORK ?STREAM ?BRANCH))))
Geography.kif 5498-5505
オブジェクト
は
StreamWaterConfluence
の
instance
では %n
オブジェクト
オブジェクト
オブジェクト
は
River
の
instance
では %n
オブジェクト
は
河川水域
の
instance
では %n
flows
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
と
オブジェクト
に
connect
s %n{ない}
(=>
(
instance
?FORK
StreamWaterConfluence
)
(
exists
(?STREAM1 ?STREAM2)
(
and
(
instance
?STREAM1
StreamWaterArea
)
(
connects
?FORK ?STREAM1 ?STREAM2)
(
instance
?STREAM2
StreamWaterArea
)
(
flows
?STREAM1 ?STREAM2))))
Geography.kif 5489-5496
オブジェクト
は
StreamWaterConfluence
の
instance
では %n
オブジェクト
オブジェクト
オブジェクト
は
河川水域
の
instance
では %n
オブジェクト
は
オブジェクト
と
オブジェクト
に
connect
s %n{ない}
オブジェクト
は
河川水域
の
instance
では %n
flows
オブジェクト
and
オブジェクト
(=>
(
instance
?STREAM
StreamWaterArea
)
(
exists
(?WATER)
(
and
(
instance
?WATER
BodyOfWater
)
(
not
(
equal
?WATER ?STREAM))
(
flows
?STREAM ?WATER))))
Geography.kif 5415-5421
物理
は
河川水域
の
instance
では %n
物理
物理
は
BodyOfWater
の
instance
では %n
物理
は
物理
と
equal
では
flows
物理
and
物理
(=>
(
instance
?WATER
Estuary
)
(
exists
(?RIVER)
(
and
(
instance
?RIVER
River
)
(
flows
?RIVER ?WATER))))
Geography.kif 5195-5200
物理
は
Estuary
の
instance
では %n
物理
物理
は
River
の
instance
では %n
flows
物理
and
物理
(=>
(
streamOutfall
?MOUTH ?RIVER)
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
flows
?RIVER ?WATER)
(
connected
?MOUTH ?WATER))))
Geography.kif 5693-5699
streamOutfall
水域
and
River
オブジェクト
オブジェクト
は
水域
の
instance
では %n
flows
River
and
オブジェクト
水域
は
オブジェクト
と
connected
して
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