most - Sigma Knowledge base Browser

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 13435-13436
(instance most BinaryPredicate)	Mid-level-ontology.kif 13434-13434	most is an instance of binary predicate
(subrelation most part)	Mid-level-ontology.kif 13433-13433	most is a subrelation of part

appearance as argument number 2

(format ChineseLanguage most "%1 是 %2 的 most ")	domainEnglishFormat.kif 3880-3880
(format ChineseTraditionalLanguage most "%1 是 %2 的 most ")	domainEnglishFormat.kif 3879-3879
(format EnglishLanguage most "%1 is most of %2")	domainEnglishFormat.kif 3878-3878
(termFormat ChineseLanguage most "最")	domainEnglishFormat.kif 38703-38703
(termFormat ChineseTraditionalLanguage most "最")	domainEnglishFormat.kif 38702-38702
(termFormat EnglishLanguage most "most")	domainEnglishFormat.kif 38701-38701

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 13438-13445

If an object is most of another object,
then there exist a third object, a real number,, , another real number and an unit of measure such that the third object is half of the other object and the measure of the third object is the real number the unit of measure(s) and the measure of the object is the other real number the unit of measure(s) and the other real number is greater than the real number

consequent

(=> (instance ?BERG Iceberg) (exists (?PART ?WATER) (and (instance ?PART Ice) (most ?PART ?BERG) (instance ?WATER BodyOfWater) (covers ?WATER ?PART))))	Geography.kif 4742-4749	If an object is an instance of iceberg, then there exist another object and a third object such that the other object is an instance of ice and the other object is most of the object and the third object is an instance of body of water and the third object covers the other object
(=> (instance ?LAND Shoal) (exists (?PART ?WATER) (and (instance ?PART LandForm) (most ?PART ?LAND) (instance ?WATER BodyOfWater) (covers ?WATER ?PART))))	Geography.kif 5920-5927	If an object is an instance of shoal, then there exist another object and a third object such that the other object is an instance of land form and the other object is most of the object and the third object is an instance of body of water and the third object covers the other object

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

KB Term:			Term intersection

English Word: