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 14556-14557
(domain most 1 Object)	Mid-level-ontology.kif 14553-14553	The number 1 argument of most is an instance of object
(domain most 2 Object)	Mid-level-ontology.kif 14554-14554	The number 2 argument of most is an instance of object
(instance most BinaryPredicate)	Mid-level-ontology.kif 14555-14555	most is an instance of binary predicate
(subrelation most part)	Mid-level-ontology.kif 14552-14552	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 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

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 4982-4989	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 6223-6230	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: