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
greaterThanByQuality
Sigma KEE - greaterThanByQuality
greaterThanByQuality
appearance as argument number 1
(
documentation
greaterThanByQuality
ChineseLanguage
"(greaterThanByQuality ?ENTITY1 ?ENTITY2 ?ATT) 的意思是 ?ENTITY1 既定的 ?ATT 量比 ?ENTITY2 的多。")
chinese_format.kif 1541-1542
(
documentation
greaterThanByQuality
EnglishLanguage
"(greaterThanByQuality ?ENTITY1 ?ENTITY2 ?ATT) means that ?ENTITY1 has more of the given quality ?ATT than ?ENTITY2.")
Merge.kif 745-747
(
documentation
greaterThanByQuality
JapaneseLanguage
"(greaterThanByQuality ?ENTITY1 ?ENTITY2 ?ATT) とは、?ENTITY1が?ENTITY2よりも与えられた品質?ATTがより多くある、という 意味である。")
japanese_format.kif 107-109
(
documentation
greaterThanByQuality
SpanishLanguage
"(greaterThanByQuality ?ENTITY1 ?ENTITY2 ?ATT) significa que ?ENTITY1 tiene más de la cualidad dada ?ATT que ?ENTITY2.")
spanish_format.kif 125-127
(
domain
greaterThanByQuality
1
Entity
)
Merge.kif 749-749
Die Zahl 1 Argument von
greaterThanByQuality
ist ein
fall
von
Entity
%n{nicht}
(
domain
greaterThanByQuality
2
Entity
)
Merge.kif 750-750
Die Zahl 2 Argument von
greaterThanByQuality
ist ein
fall
von
Entity
%n{nicht}
(
domain
greaterThanByQuality
3
Attribute
)
Merge.kif 751-751
Die Zahl 3 Argument von
greaterThanByQuality
ist ein
fall
von
Attribute
%n{nicht}
(
instance
greaterThanByQuality
TernaryPredicate
)
Merge.kif 743-743
greaterThanByQuality
ist ein
fall
von
TernaryPredicate
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
greaterThanByQuality
"%1 有 more %3 比 %2 ")
domainEnglishFormat.kif 3550-3550
(
format
ChineseTraditionalLanguage
greaterThanByQuality
"%1 有 more %3 比 %2 ")
domainEnglishFormat.kif 3549-3549
(
format
EnglishLanguage
greaterThanByQuality
"%1 has more %3 than %2")
domainEnglishFormat.kif 3548-3548
(
termFormat
EnglishLanguage
greaterThanByQuality
"greater than by quality")
domainEnglishFormat.kif 65841-65841
antecedent
(=>
(
and
(
greaterThanByQuality
?E1 ?E2 ?ATT)
(
greaterThanByQuality
?E2 ?E3 ?ATT))
(
greaterThanByQuality
?E1 ?E3 ?ATT))
Merge.kif 753-757
Wenn
greaterThanByQuality
Entity
,
** Entity
and
Attribute
und
greaterThanByQuality
** ** Entity
,
** Entity
and
** Attribute
,
dann
greaterThanByQuality
** Entity
,
** ** Entity
and
** Attribute
(=>
(
greaterThanByQuality
?E1 ?E2 ?ATT)
(
not
(
equal
?E2 ?E1)))
Merge.kif 764-767
Wenn
greaterThanByQuality
Entity
,
** Entity
and
Attribute
,
dann
** ** Entity
ist gleich
** Entity
nicht
(=>
(
greaterThanByQuality
?E1 ?E2 ?ATT)
(
not
(
greaterThanByQuality
?E2 ?E1 ?ATT)))
Merge.kif 759-762
Wenn
greaterThanByQuality
Entity
,
** Entity
and
Attribute
,
dann
greaterThanByQuality
** ** Entity
,
** Entity
and
** Attribute
consequent
(=>
(
and
(
greaterThanByQuality
?E1 ?E2 ?ATT)
(
greaterThanByQuality
?E2 ?E3 ?ATT))
(
greaterThanByQuality
?E1 ?E3 ?ATT))
Merge.kif 753-757
Wenn
greaterThanByQuality
Entity
,
** Entity
and
Attribute
und
greaterThanByQuality
** ** Entity
,
** Entity
and
** Attribute
,
dann
greaterThanByQuality
** Entity
,
** ** Entity
and
** Attribute
(=>
(
greaterThanByQuality
?E1 ?E2 ?ATT)
(
not
(
greaterThanByQuality
?E2 ?E1 ?ATT)))
Merge.kif 759-762
Wenn
greaterThanByQuality
Entity
,
** Entity
and
Attribute
,
dann
greaterThanByQuality
** ** Entity
,
** Entity
and
** Attribute
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