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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - most
most

appearance as argument number 1
-------------------------


(documentation most EnglishLanguage "(most ?MOST ?WHOLE) means that ?MOST is a part of ?WHOLE that is greater than half of ?WHOLE.") Mid-level-ontology.kif 12073-12074
(instance most BinaryPredicate) Mid-level-ontology.kif 12072-12072 most is an instance of binary predicate
(subrelation most part) Mid-level-ontology.kif 12071-12071 most is a subrelation of part

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


(format ChineseLanguage most "%1 是 %2 的 most ") domainEnglishFormat.kif 3891-3891
(format ChineseTraditionalLanguage most "%1 是 %2 的 most ") domainEnglishFormat.kif 3890-3890
(format EnglishLanguage most "%1 is most of %2") domainEnglishFormat.kif 3889-3889
(termFormat ChineseLanguage most "最") domainEnglishFormat.kif 38652-38652
(termFormat ChineseTraditionalLanguage most "最") domainEnglishFormat.kif 38651-38651
(termFormat EnglishLanguage most "most") domainEnglishFormat.kif 38650-38650

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


(=>
    (most ?MOST ?WHOLE)
    (exists (?HALF ?NUMBER1 ?NUMBER2 ?UNIT)
        (and
            (half ?HALF ?WHOLE)
            (measure ?HALF
                (MeasureFn ?NUMBER1 ?UNIT))
            (measure ?MOST
                (MeasureFn ?NUMBER2 ?UNIT))
            (greaterThan ?NUMBER2 ?NUMBER1))))
Mid-level-ontology.kif 12076-12083

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


(=>
    (instance ?BERG Iceberg)
    (exists (?PART ?WATER)
        (and
            (instance ?PART Ice)
            (most ?PART ?BERG)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))
Geography.kif 4533-4540
(=>
    (instance ?LAND Shoal)
    (exists (?PART ?WATER)
        (and
            (instance ?PART LandForm)
            (most ?PART ?LAND)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))
Geography.kif 5702-5709


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