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 14574-14575
(domain most 1 Object)	Mid-level-ontology.kif 14571-14571	The number 1 argument of most is an instance of object
(domain most 2 Object)	Mid-level-ontology.kif 14572-14572	The number 2 argument of most is an instance of object
(instance most BinaryPredicate)	Mid-level-ontology.kif 14573-14573	most is an instance of binary predicate
(subrelation most part)	Mid-level-ontology.kif 14570-14570	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 38695-38695
(termFormat ChineseTraditionalLanguage most "最")	domainEnglishFormat.kif 38694-38694
(termFormat EnglishLanguage most "most")	domainEnglishFormat.kif 38693-38693

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 14577-14584

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 4812-4819	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 5990-5997	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: