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
productModel
Sigma KEE - productModel
productModel
appearance as argument number 1
(
documentation
productModel
EnglishLanguage
"(productModel ?Model ?Product) means that ?Model represents the type of the Product ?Product")
QoSontology.kif 17-18
(
domain
productModel
1
SymbolicString
)
QoSontology.kif 15-15
O argumento numero 1 de
productModel
e' uma
instancia
de
Sequencia Simbolica
(
domainSubclass
productModel
2
Product
)
QoSontology.kif 16-16
O argumento numero 2 de
productModel
e' uma
sub
-classe de
Produto
(
instance
productModel
AsymmetricRelation
)
QoSontology.kif 13-13
productModel
e' uma
instancia
de
Relacao Assimetrica
(
subrelation
productModel
represents
)
QoSontology.kif 14-14
productModel
e' uma
sub
-relacao de
represents
appearance as argument number 2
(
format
ChineseLanguage
productModel
"%1 是 %2 的 type ")
domainEnglishFormat.kif 4238-4238
(
format
ChineseTraditionalLanguage
productModel
"%1 是 %2 的 type ")
domainEnglishFormat.kif 4237-4237
(
format
EnglishLanguage
productModel
"%1 is the type of %2")
domainEnglishFormat.kif 4236-4236
(
termFormat
ChineseLanguage
productModel
"产品型号")
domainEnglishFormat.kif 47578-47578
(
termFormat
ChineseTraditionalLanguage
productModel
"產品型號")
domainEnglishFormat.kif 47577-47577
(
termFormat
EnglishLanguage
productModel
"product model")
domainEnglishFormat.kif 47576-47576
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