TreeView 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 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 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 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 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 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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: