TreeView Knowledge Base Browser

appearance as argument number 2

(format EnglishLanguage most "%1 is most of %2")	domainEnglishFormat.kif 3882-3882
(format ChineseTraditionalLanguage most "%1 是 %2 的 most ")	domainEnglishFormat.kif 3883-3883
(format ChineseLanguage most "%1 是 %2 的 most ")	domainEnglishFormat.kif 3884-3884
(termFormat EnglishLanguage most "most")	domainEnglishFormat.kif 38669-38669
(termFormat ChineseTraditionalLanguage most "最")	domainEnglishFormat.kif 38670-38670
(termFormat ChineseLanguage most "最")	domainEnglishFormat.kif 38671-38671

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 14784-14791

If X is most of Y, then there exist Z, W,, , V and U such that Z is half of Y and the measure of Z is W U(s) and the measure of X is V U(s) and V is greater than W

consequent

(=> (instance ?BERG Iceberg) (exists (?PART ?WATER) (and (instance ?PART Ice) (most ?PART ?BERG) (instance ?WATER BodyOfWater) (covers ?WATER ?PART))))	Geography.kif 6284-6291	If X is an instance of iceberg, then there exist Y, Z such that Y is an instance of ice, Y is most of X, Z is an instance of body of water, and Z covers Y
(=> (instance ?LAND Shoal) (exists (?PART ?WATER) (and (instance ?PART LandForm) (most ?PART ?LAND) (instance ?WATER BodyOfWater) (covers ?WATER ?PART))))	Geography.kif 7520-7527	If X is an instance of shoal, then there exist Y, Z such that Y is an instance of land form, Y is most of X, Z is an instance of body of water, and Z covers Y

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: