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
formOfAdaptation
Sigma KEE - formOfAdaptation
formOfAdaptation
appearance as argument number 1
(
documentation
formOfAdaptation
EnglishLanguage
"(
formOfAdaptation
?System ?Attribute) holds if ?Attribute is a
FormOfAdaptationAttribute
which describes the
RealtimeSystem
?System.")
QoSontology.kif 1474-1476
(
domain
formOfAdaptation
1
RealtimeSystem
)
QoSontology.kif 1472-1472
O argumento numero 1 de
formOfAdaptation
e' uma
instancia
de
RealtimeSystem
(
domain
formOfAdaptation
2
FormOfAdaptationAttribute
)
QoSontology.kif 1473-1473
O argumento numero 2 de
formOfAdaptation
e' uma
instancia
de
FormOfAdaptationAttribute
(
instance
formOfAdaptation
BinaryPredicate
)
QoSontology.kif 1471-1471
formOfAdaptation
e' uma
instancia
de
Predicado Binario
(
subrelation
formOfAdaptation
property
)
QoSontology.kif 1470-1470
formOfAdaptation
e' uma
sub
-relacao de
property
appearance as argument number 2
(
format
ChineseLanguage
formOfAdaptation
"%1 有 adaptation 策略 %2 ")
domainEnglishFormat.kif 3482-3482
(
format
ChineseTraditionalLanguage
formOfAdaptation
"%1 有 adaptation 策略 %2 ")
domainEnglishFormat.kif 3481-3481
(
format
EnglishLanguage
formOfAdaptation
"%1 has adaptation strategy %2")
domainEnglishFormat.kif 3480-3480
(
termFormat
ChineseLanguage
formOfAdaptation
"适应形式")
domainEnglishFormat.kif 24758-24758
(
termFormat
ChineseTraditionalLanguage
formOfAdaptation
"適應形式")
domainEnglishFormat.kif 24757-24757
(
termFormat
EnglishLanguage
formOfAdaptation
"form of adaptation")
domainEnglishFormat.kif 24756-24756
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