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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 greaterThanByQuality 的 1 数量 是 实体instance
(domain greaterThanByQuality 2 Entity) Merge.kif 750-750 greaterThanByQuality 的 2 数量 是 实体instance
(domain greaterThanByQuality 3 Attribute) Merge.kif 751-751 greaterThanByQuality 的 3 数量 是 属性instance
(instance greaterThanByQuality TernaryPredicate) Merge.kif 743-743 greaterThanByQuality三元谓语instance

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
(=>
    (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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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