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 710-712
(domain greaterThanByQuality 1 Entity) Merge.kif 714-714
(domain greaterThanByQuality 2 Entity) Merge.kif 715-715
(domain greaterThanByQuality 3 Attribute) Merge.kif 716-716
(instance greaterThanByQuality TernaryPredicate) Merge.kif 708-708

appearance as argument number 2
-------------------------


(format ChineseLanguage greaterThanByQuality "%1 有 more %3 比 %2 ") domainEnglishFormat.kif 3555-3555
(format ChineseTraditionalLanguage greaterThanByQuality "%1 有 more %3 比 %2 ") domainEnglishFormat.kif 3554-3554
(format EnglishLanguage greaterThanByQuality "%1 has more %3 than %2") domainEnglishFormat.kif 3553-3553

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


(=>
    (and
        (greaterThanByQuality ?E1 ?E2 ?ATT)
        (greaterThanByQuality ?E2 ?E3 ?ATT))
    (greaterThanByQuality ?E1 ?E3 ?ATT))
Merge.kif 718-722
(=>
    (greaterThanByQuality ?E1 ?E2 ?ATT)
    (not
        (equal ?E2 ?E1)))
Merge.kif 729-732
(=>
    (greaterThanByQuality ?E1 ?E2 ?ATT)
    (not
        (greaterThanByQuality ?E2 ?E1 ?ATT)))
Merge.kif 724-727

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


(=>
    (and
        (greaterThanByQuality ?E1 ?E2 ?ATT)
        (greaterThanByQuality ?E2 ?E3 ?ATT))
    (greaterThanByQuality ?E1 ?E3 ?ATT))
Merge.kif 718-722
(=>
    (greaterThanByQuality ?E1 ?E2 ?ATT)
    (not
        (greaterThanByQuality ?E2 ?E1 ?ATT)))
Merge.kif 724-727


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