Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - most
most

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


(subrelation most part) Mid-level-ontology.kif 14777-14777 most is a subrelation of part
(domain most 1 Object) Mid-level-ontology.kif 14778-14778 The number 1 argument of most is an instance of object
(domain most 2 Object) Mid-level-ontology.kif 14779-14779 The number 2 argument of most is an instance of object
(instance most BinaryPredicate) Mid-level-ontology.kif 14780-14780 most is an instance of binary predicate
(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 14781-14782 most is an instance of binary predicate

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


(format EnglishLanguage most "%1 is most of %2") domainEnglishFormat.kif 3882-3882
(format ChineseTraditionalLanguage most "%1 是 %2 的 most ") domainEnglishFormat.kif 3883-3883
(format ChineseLanguage most "%1 是 %2 的 most ") domainEnglishFormat.kif 3884-3884
(termFormat EnglishLanguage most "most") domainEnglishFormat.kif 38669-38669
(termFormat ChineseTraditionalLanguage most "最") domainEnglishFormat.kif 38670-38670
(termFormat ChineseLanguage most "最") domainEnglishFormat.kif 38671-38671

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 14784-14791 If X is most of Y, then there exist Z, W,, , V and U such that Z is half of Y and the measure of Z is W U(s) and the measure of X is V U(s) and V is greater than W

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


(=>
    (instance ?BERG Iceberg)
    (exists (?PART ?WATER)
        (and
            (instance ?PART Ice)
            (most ?PART ?BERG)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))		 Geography.kif 6284-6291 If X is an instance of iceberg, then there exist Y, Z such that Y is an instance of ice, Y is most of X, Z is an instance of body of water, and Z covers Y
(=>
    (instance ?LAND Shoal)
    (exists (?PART ?WATER)
        (and
            (instance ?PART LandForm)
            (most ?PART ?LAND)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))		 Geography.kif 7520-7527 If X is an instance of shoal, then there exist Y, Z such that Y is an instance of land form, Y is most of X, Z is an instance of body of water, and Z covers Y


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners