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
precondition
Sigma KEE - precondition
precondition
appearance as argument number 1
(
documentation
precondition
ChineseLanguage
"这是一个十分概括的
Predicate
。(
precondition
?PROC1 ?PROC2) 的意思是 ?PROC2 的实例只能在 ?PROC1 的实例也存在的时候才能存在。")
chinese_format.kif 2137-2138
(
documentation
precondition
EnglishLanguage
"A very general
Predicate
. (
precondition
?PROC1 ?PROC2) means that an instance of ?PROC2 can exist only if an instance of ?PROC1 also exists.")
Merge.kif 4296-4298
(
documentation
precondition
JapaneseLanguage
"非常に一般的な
Predicate
。(
precondition
?PROC1 ?PROC2) とは、?PROC1 のインスタンスが存在する場合にのみ ?PROC2 のインスタンスが存在できる ことを意味する。")
japanese_format.kif 792-794
(
domainSubclass
precondition
1
Process
)
Merge.kif 4293-4293
The number 1 argument of
precondition
is a
subclass
of
process
(
domainSubclass
precondition
2
Process
)
Merge.kif 4294-4294
The number 2 argument of
precondition
is a
subclass
of
process
(
instance
precondition
AsymmetricRelation
)
Merge.kif 4291-4291
precondition
is an
instance
of
asymmetric relation
(
instance
precondition
BinaryPredicate
)
Merge.kif 4290-4290
precondition
is an
instance
of
binary predicate
(
instance
precondition
TransitiveRelation
)
Merge.kif 4292-4292
precondition
is an
instance
of
transitive relation
appearance as argument number 2
(
format
ChineseLanguage
precondition
"%1 %n 是 %2 的
precondition
")
chinese_format.kif 219-219
(
format
EnglishLanguage
precondition
"%1 is%n{n't} a
precondition
of %2")
english_format.kif 220-220
(
format
FrenchLanguage
precondition
"%1 %n{n'} est %n{pas} une condition pr�alble de %2")
french_format.kif 129-129
(
format
ItalianLanguage
precondition
"%1 è una precondizione di%2")
relations-it.txt 226-226
(
format
JapaneseLanguage
precondition
"%1 は %2 の
precondition
is%n{ない}")
japanese_format.kif 1958-1958
(
format
PortugueseLanguage
precondition
"%1 %n{nao} e' %n uma precondicao de %2")
portuguese_format.kif 81-81
(
format
de
precondition
"%1 ist eine vorbedingung von %2")
relations-de.txt 284-284
(
format
hi
precondition
"%1 %2 kii puurva sharta hai")
relations-hindi.txt 264-264
(
format
ro
precondition
"%1 %n{nu} este o
precondition
%t{precondiþie} pentru %2")
relations-ro.kif 148-148
(
format
sv
precondition
"%1 är %n{inte} en förutsättning för %2")
relations-sv.txt 134-134
(
termFormat
ChineseLanguage
precondition
"先备条件")
chinese_format.kif 220-220
(
termFormat
ChineseLanguage
precondition
"前提")
domainEnglishFormat.kif 47150-47150
(
termFormat
ChineseTraditionalLanguage
precondition
"前提")
domainEnglishFormat.kif 47149-47149
(
termFormat
EnglishLanguage
precondition
"precondition")
domainEnglishFormat.kif 47148-47148
(
termFormat
de
precondition
"vorbedingung")
terms-de.txt 91-91
antecedent
(=>
(
precondition
?PROC1 ?PROC2)
(=>
(
exists
(?INST2)
(
instance
?INST2 ?PROC2))
(
exists
(?INST1)
(
instance
?INST1 ?PROC1))))
Merge.kif 4300-4304
If
a kind of process
is a
precondition
of
another kind of process
,
then
if there exists
an entity
such that
the entity
is an
instance
of
another kind of process
,
then there exists
another entity
such that
the other entity
is an
instance
of
a kind of process
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