Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  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
(domain greaterThanByQuality 2 Entity) Merge.kif 750-750
(domain greaterThanByQuality 3 Attribute) Merge.kif 751-751
(instance greaterThanByQuality TernaryPredicate) Merge.kif 743-743

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 65839-65839

antecedent
-------------------------


(=>
    (and
        (greaterThanByQuality ?E1 ?E2 ?ATT)
        (greaterThanByQuality ?E2 ?E3 ?ATT))
    (greaterThanByQuality ?E1 ?E3 ?ATT))
Merge.kif 753-757
(=>
    (greaterThanByQuality ?E1 ?E2 ?ATT)
    (not
        (equal ?E2 ?E1)))
Merge.kif 764-767
(=>
    (greaterThanByQuality ?E1 ?E2 ?ATT)
    (not
        (greaterThanByQuality ?E2 ?E1 ?ATT)))
Merge.kif 759-762

consequent
-------------------------


(=>
    (and
        (greaterThanByQuality ?E1 ?E2 ?ATT)
        (greaterThanByQuality ?E2 ?E3 ?ATT))
    (greaterThanByQuality ?E1 ?E3 ?ATT))
Merge.kif 753-757
(=>
    (greaterThanByQuality ?E1 ?E2 ?ATT)
    (not
        (greaterThanByQuality ?E2 ?E1 ?ATT)))
Merge.kif 759-762


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