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 Le nombre 1 argument de greaterThanByQuality est une instance de entit�
(domain greaterThanByQuality 2 Entity) Merge.kif 750-750 Le nombre 2 argument de greaterThanByQuality est une instance de entit�
(domain greaterThanByQuality 3 Attribute) Merge.kif 751-751 Le nombre 3 argument de greaterThanByQuality est une instance de attribut
(instance greaterThanByQuality TernaryPredicate) Merge.kif 743-743 greaterThanByQuality est une instance de pr�dicat ternaire

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

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