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
environmentAttributes
Sigma KEE - environmentAttributes
environmentAttributes
appearance as argument number 1
(
documentation
environmentAttributes
EnglishLanguage
"(
environmentAttributes
?Program ?Attribute) holds if ?Attribute is an
EnvironmentSoftwareAttribute
which describes the
ComputerProgram
?Program.")
QoSontology.kif 463-465
(
domain
environmentAttributes
1
ComputerProgram
)
QoSontology.kif 461-461
Die Zahl 1 Argument von
environmentAttributes
ist ein
fall
von
ComputerProgram
%n{nicht}
(
domain
environmentAttributes
2
EnvironmentSoftwareAttribute
)
QoSontology.kif 462-462
Die Zahl 2 Argument von
environmentAttributes
ist ein
fall
von
EnvironmentSoftwareAttribute
%n{nicht}
(
instance
environmentAttributes
BinaryPredicate
)
QoSontology.kif 460-460
environmentAttributes
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
subrelation
environmentAttributes
property
)
QoSontology.kif 459-459
environmentAttributes
ist eine
teilrelation
von
eigenschaft
appearance as argument number 2
(
format
ChineseLanguage
environmentAttributes
"%2 是 %1 的
attribute
")
domainEnglishFormat.kif 3314-3314
(
format
ChineseTraditionalLanguage
environmentAttributes
"%2 是 %1 的
attribute
")
domainEnglishFormat.kif 3313-3313
(
format
EnglishLanguage
environmentAttributes
"%2 is an
attribute
of %1")
domainEnglishFormat.kif 3312-3312
(
termFormat
ChineseLanguage
environmentAttributes
"环境属性")
domainEnglishFormat.kif 22282-22282
(
termFormat
ChineseTraditionalLanguage
environmentAttributes
"環境屬性")
domainEnglishFormat.kif 22281-22281
(
termFormat
EnglishLanguage
environmentAttributes
"environment attributes")
domainEnglishFormat.kif 22280-22280
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