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 14547-14548
(domain most 1 Object)	Mid-level-ontology.kif 14544-14544	The number 1 argument of most is an instance of object
(domain most 2 Object)	Mid-level-ontology.kif 14545-14545	The number 2 argument of most is an instance of object
(instance most BinaryPredicate)	Mid-level-ontology.kif 14546-14546	most is an instance of binary predicate
(subrelation most part)	Mid-level-ontology.kif 14543-14543	most is a subrelation of part

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 38677-38677
(termFormat ChineseTraditionalLanguage most "最")	domainEnglishFormat.kif 38676-38676
(termFormat EnglishLanguage most "most")	domainEnglishFormat.kif 38675-38675

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 14550-14557

If most an object and another object,
then there exist a third object, a real number,, , another real number and an unit of measure such that half the third object and 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 6294-6301	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 most the other object and the object and the third object is an instance of BodyOfWater and covers the third object and the other object
(=> (instance ?LAND Shoal) (exists (?PART ?WATER) (and (instance ?PART LandForm) (most ?PART ?LAND) (instance ?WATER BodyOfWater) (covers ?WATER ?PART))))	Geography.kif 7535-7542	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 LandForm and most the other object and the object and the third object is an instance of BodyOfWater and covers the third object and 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: