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
causesSubclass
Sigma KEE - causesSubclass
causesSubclass
appearance as argument number 1
(
documentation
causesSubclass
ChineseLanguage
"这是
Process
子类别之间的因果关系, (
causesSubclass
?PROCESS1 ?PROCESS2) 的意思是
Process
?PROCESS1 的子类别导致
Process
?PROCESS2 的子类别,例如: (
causesSubclass
Killing
Death
)。")
chinese_format.kif 2068-2070
(
documentation
causesSubclass
EnglishLanguage
"The causation relation between subclasses of
Process
. (
causesSubclass
?PROCESS1 ?PROCESS2) means that the subclass of
Process
?PROCESS1 brings about the subclass of
Process
?PROCESS2, e.g. (
causesSubclass
Killing
Death
).")
Merge.kif 3804-3808
(
documentation
causesSubclass
JapaneseLanguage
"
Process
?PROCESS のサブクラス間の因果関係。 (
causesSubclass
?PROCESS1 ?PROCESS2) とは、
Process
?PROCESS1 のサブクラスが
Process
?PROCESS2 を持ち込むことを意味する。 例:(
causesSubclass
Killing
Death
) など。")
japanese_format.kif 714-716
(
domainSubclass
causesSubclass
1
Process
)
Merge.kif 3801-3801
The number 1 argument of
causes subclass
is a
subclass
of
process
(
domainSubclass
causesSubclass
2
Process
)
Merge.kif 3802-3802
The number 2 argument of
causes subclass
is a
subclass
of
process
(
instance
causesSubclass
AsymmetricRelation
)
Merge.kif 3800-3800
causes subclass
is an
instance
of
asymmetric relation
(
instance
causesSubclass
BinaryPredicate
)
Merge.kif 3799-3799
causes subclass
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
causesSubclass
"%2 %n 是 %1 的
causes
子分类")
domainEnglishFormat.kif 396-396
(
format
ChineseTraditionalLanguage
causesSubclass
"%2 %n 是 %1 的
causes
子分類")
domainEnglishFormat.kif 395-395
(
format
EnglishLanguage
causesSubclass
"%2 is %n a
causes
subclass of %1")
domainEnglishFormat.kif 394-394
(
relatedInternalConcept
causes
causesSubclass
)
Merge.kif 3780-3780
causes
is
internally
related to
causes subclass
(
termFormat
ChineseLanguage
causesSubclass
"导致子类")
domainEnglishFormat.kif 13512-13512
(
termFormat
ChineseTraditionalLanguage
causesSubclass
"導致子類")
domainEnglishFormat.kif 13511-13511
(
termFormat
EnglishLanguage
causesSubclass
"causes subclass")
domainEnglishFormat.kif 13510-13510
antecedent
(=>
(
causesSubclass
?PROC1 ?PROC2)
(
forall
(?INST2)
(=>
(
instance
?INST2 ?PROC2)
(
exists
(?INST1)
(
and
(
instance
?INST1 ?PROC1)
(
causes
?INST1 ?INST2))))))
Merge.kif 3810-3818
If
a kind of process
is a
causes
subclass of
another kind of process
,
then for all
a third process
if
the third process
is an
instance
of
a kind of process
,
then there exists
a fourth process
such that
the fourth process
is an
instance
of
another kind of process
and
the fourth process
cause
s
the third process
appearance as argument number 0
(
causesSubclass
AcidRainfall
Acidification
)
Geography.kif 2537-2537
Acidifying
is a
causes
subclass of
acid rainfall
(
causesSubclass
AirPollution
AcidRainfall
)
Geography.kif 2536-2536
Acid rainfall
is a
causes
subclass of
air pollution
(
causesSubclass
SoilErosion
Siltation
)
Geography.kif 2950-2950
Siltation
is a
causes
subclass of
soil erosion
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