Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
| 
LogLearn
|
Editor
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishGroupLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
expectedYearOfGraduation
measuringListInterval
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
(
subrelation
formOfAdaptation
property
)
QoSontology.kif 1577-1577
form of adaptation
is a
subrelation
of
property
(
instance
formOfAdaptation
BinaryPredicate
)
QoSontology.kif 1578-1578
form of adaptation
is an
instance
of
binary predicate
(
domain
formOfAdaptation
1
RealtimeSystem
)
QoSontology.kif 1579-1579
The number 1 argument of
form of adaptation
is an
instance
of
realtime system
(
domain
formOfAdaptation
2
FormOfAdaptationAttribute
)
QoSontology.kif 1580-1580
The number 2 argument of
form of adaptation
is an
instance
of
form of adaptation attribute
(
documentation
formOfAdaptation
EnglishLanguage
"(
formOfAdaptation
?System ?Attribute) holds if ?Attribute is a
FormOfAdaptationAttribute
which describes the
RealtimeSystem
?System.")
QoSontology.kif 1581-1583
The number 2 argument of
form of adaptation
is an
instance
of
form of adaptation attribute
appearance as argument number 2
(
format
EnglishLanguage
formOfAdaptation
"%1 has adaptation strategy %2")
domainEnglishFormat.kif 3478-3478
(
format
ChineseTraditionalLanguage
formOfAdaptation
"%1 有 adaptation 策略 %2 ")
domainEnglishFormat.kif 3479-3479
(
format
ChineseLanguage
formOfAdaptation
"%1 有 adaptation 策略 %2 ")
domainEnglishFormat.kif 3480-3480
(
termFormat
EnglishLanguage
formOfAdaptation
"form of adaptation")
domainEnglishFormat.kif 24748-24748
(
termFormat
ChineseTraditionalLanguage
formOfAdaptation
"適應形式")
domainEnglishFormat.kif 24749-24749
(
termFormat
ChineseLanguage
formOfAdaptation
"适应形式")
domainEnglishFormat.kif 24750-24750
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.0-
0a80e6c8
(2026-05-12) is
open source software
produced by
Articulate Software
and its partners