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
Field
Sigma KEE - ComplementFn
ComplementFn
appearance as argument number 1
(
documentation
ComplementFn
ChineseLanguage
"一个特定的
SetOrClass
C 的补集,是一个包含所有 东西、但不包括C实例的
SetOrClass
。换句话数,一个物体是
SetOrClass
C 补集的一个实例,以防它不是C 的一个实例。")
chinese_format.kif 2300-2302
(
documentation
ComplementFn
EnglishLanguage
"The complement of a given
SetOrClass
C is the
SetOrClass
of all things that are not instances of C. In other words, an object is an instance of the complement of a
SetOrClass
C just in case it is not an instance of C.")
Merge.kif 5481-5484
(
documentation
ComplementFn
JapaneseLanguage
"指定された
SetOrClass
C の補数は、C のインス、 ンスではないすべてのものである。言い換えると、オブジェクトはCのインスタンスでない場合に備えて、
SetOrClass
C の補数のインスタンスである。")
japanese_format.kif 969-971
(
domain
ComplementFn
1
SetOrClass
)
Merge.kif 5478-5478
O argumento numero 1 de
ComplementFn
e' uma
instancia
de
Conjunto ou Classe
(
instance
ComplementFn
TotalValuedRelation
)
Merge.kif 5477-5477
ComplementFn
e' uma
instancia
de
Relacao Total
(
instance
ComplementFn
UnaryFunction
)
Merge.kif 5476-5476
ComplementFn
e' uma
instancia
de
funcao Unaria
(
range
ComplementFn
SetOrClass
)
Merge.kif 5479-5479
O
contra
-dominio de
ComplementFn
e' uma instancia de
Conjunto ou Classe
appearance as argument number 2
(
format
ChineseLanguage
ComplementFn
"%1 的补集")
chinese_format.kif 500-500
(
format
EnglishLanguage
ComplementFn
"the complement of %1")
english_format.kif 505-505
(
format
FrenchLanguage
ComplementFn
"le compl�ment de %1")
french_format.kif 293-293
(
format
ItalianLanguage
ComplementFn
"il complemento di %1")
relations-it.txt 46-46
(
format
JapaneseLanguage
ComplementFn
"%1 の complement")
japanese_format.kif 2070-2070
(
format
PortugueseLanguage
ComplementFn
"o complemento de %1")
portuguese_format.kif 245-245
(
format
de
ComplementFn
"die ergaenzung von %1")
relations-de.txt 650-650
(
format
hi
ComplementFn
"%1 kaa puuraka")
relations-hindi.txt 88-88
(
format
ro
ComplementFn
"complement%t{complementara} lui %1")
relations-ro.kif 314-314
(
format
sv
ComplementFn
"komplementet till %1")
relations-sv.txt 321-321
(
format
tg
ComplementFn
"the kapupunan ng %1")
relations-cb.txt 80-80
(
termFormat
ChineseLanguage
ComplementFn
"补充")
domainEnglishFormat.kif 16170-16170
(
termFormat
ChineseLanguage
ComplementFn
"补集函数")
chinese_format.kif 501-501
(
termFormat
ChineseTraditionalLanguage
ComplementFn
"補充")
domainEnglishFormat.kif 16169-16169
(
termFormat
EnglishLanguage
ComplementFn
"complement")
domainEnglishFormat.kif 16168-16168
(
termFormat
tg
ComplementFn
"tungkulin ng kapupunan")
relations-tg.txt 109-109
statement
(
subclass
ChemicalAgent
(
ComplementFn
OrganicObject
))
WMD.kif 451-451
ChemicalAgent
e' uma
sub
-classe de o
complemento
de
Objeto Organico
(
subclass
MedicalClinicBuilding
(
ComplementFn
Residence
))
Mid-level-ontology.kif 7693-7693
MedicalClinicBuilding
e' uma
sub
-classe de o
complemento
de
Residence
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