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
Il numero 1 argomenti di
formOfAdaptation
è un
istanza
di
RealtimeSystem
(
domain
formOfAdaptation
2
FormOfAdaptationAttribute
)
QoSontology.kif 1473-1473
Il numero 2 argomenti di
formOfAdaptation
è un
istanza
di
FormOfAdaptationAttribute
(
instance
formOfAdaptation
BinaryPredicate
)
QoSontology.kif 1471-1471
formOfAdaptation
è un'
istanza
di
PredicatoBinario
(
subrelation
formOfAdaptation
property
)
QoSontology.kif 1470-1470
formOfAdaptation
è una
sottorelazione
di
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