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

Formal Language: 



KB Term:  Term intersection
English Word: 

  most

 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 10852-10853
(instance most BinaryPredicate) Mid-level-ontology.kif 10851-10851
(subrelation most part) Mid-level-ontology.kif 10850-10850

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 38659-38659
(termFormat ChineseTraditionalLanguage most "最") domainEnglishFormat.kif 38658-38658
(termFormat EnglishLanguage most "most") domainEnglishFormat.kif 38657-38657

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 10855-10862

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


(=>
    (instance ?BERG Iceberg)
    (exists (?PART ?WATER)
        (and
            (instance ?PART Ice)
            (most ?PART ?BERG)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))		 Geography.kif 4448-4455
(=>
    (instance ?LAND Shoal)
    (exists (?PART ?WATER)
        (and
            (instance ?PART LandForm)
            (most ?PART ?LAND)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))		 Geography.kif 5610-5617


Show simplified definition (without tree view)
Show simplified definition (with tree view)

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