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 14556-14557
(domain most 1 Object) Mid-level-ontology.kif 14553-14553
(domain most 2 Object) Mid-level-ontology.kif 14554-14554
(instance most BinaryPredicate) Mid-level-ontology.kif 14555-14555
(subrelation most part) Mid-level-ontology.kif 14552-14552

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


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

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 14559-14566

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


(=>
    (instance ?BERG Iceberg)
    (exists (?PART ?WATER)
        (and
            (instance ?PART Ice)
            (most ?PART ?BERG)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))
Geography.kif 4949-4956
(=>
    (instance ?LAND Shoal)
    (exists (?PART ?WATER)
        (and
            (instance ?PART LandForm)
            (most ?PART ?LAND)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))
Geography.kif 6190-6197


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