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
irreflexiveOn
Sigma KEE - irreflexiveOn
irreflexiveOn
appearance as argument number 1
(
documentation
irreflexiveOn
ChineseLanguage
"一个
BinaryRelation
在一个
SetOrClass
是 非自反的除非这个
SetOrClass
里没有一个实里戴着和自身相关的关系。")
chinese_format.kif 2043-2044
(
documentation
irreflexiveOn
JapaneseLanguage
"
BinaryRelation
は、
SetOrClass
のインス タンスがそれ自体との関係を持たない場合にのみ、
SetOrClass
に対して非再帰的である。")
japanese_format.kif 688-689
appearance as argument number 2
(
format
ChineseLanguage
irreflexiveOn
"%1 在 %2 %n 是 非自反关系")
chinese_format.kif 137-137
(
format
FrenchLanguage
irreflexiveOn
"%1 est %n irr�fl�xif par rapport %2")
french_format.kif 90-90
(
format
ItalianLanguage
irreflexiveOn
"%1 è %n irriflessivo su %2")
relations-it.txt 156-156
(
format
JapaneseLanguage
irreflexiveOn
"%1 は %2 に irreflexive では %n")
japanese_format.kif 1917-1917
(
format
PortugueseLanguage
irreflexiveOn
"%1 e' %n irreflexivo em %2")
portuguese_format.kif 42-42
(
format
cz
irreflexiveOn
"%1 %p{je} %n{nen�} irreflexive on %2")
relations-cz.txt 108-108
(
format
de
irreflexiveOn
"%1 ist irreflexiv auf %2 %n{nicht}")
relations-de.txt 166-166
(
format
hi
irreflexiveOn
"%1 %2 para asvatulya %n hai")
relations-hindi.txt 195-195
(
format
ro
irreflexiveOn
"%1 %n{nu} este irreflexive%t{ireflexivã} pe %2")
relations-ro.kif 109-109
(
format
sv
irreflexiveOn
"%1 är %n{inte} irreflexiv över %2")
relations-sv.txt 89-89
(
termFormat
ChineseLanguage
irreflexiveOn
"属于非自反关系")
chinese_format.kif 138-138
(
termFormat
de
irreflexiveOn
"irreflexivAur")
terms-de.txt 50-50
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