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 4297-4299
(
documentation
precondition
JapaneseLanguage
"非常に一般的な
Predicate
。(
precondition
?PROC1 ?PROC2) とは、?PROC1 のインスタンスが存在する場合にのみ ?PROC2 のインスタンスが存在できる ことを意味する。")
japanese_format.kif 792-794
(
domainSubclass
precondition
1
Process
)
Merge.kif 4294-4294
(
domainSubclass
precondition
2
Process
)
Merge.kif 4295-4295
(
instance
precondition
AsymmetricRelation
)
Merge.kif 4292-4292
(
instance
precondition
BinaryPredicate
)
Merge.kif 4291-4291
(
instance
precondition
TransitiveRelation
)
Merge.kif 4293-4293
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 47152-47152
(
termFormat
ChineseTraditionalLanguage
precondition
"前提")
domainEnglishFormat.kif 47151-47151
(
termFormat
EnglishLanguage
precondition
"precondition")
domainEnglishFormat.kif 47150-47150
(
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 4301-4305
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