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 14556-14557
(domain most 1 Object)	Mid-level-ontology.kif 14553-14553
(domain most 2 Object)	Mid-level-ontology.kif 14554-14554
(instance most BinaryPredicate)	Mid-level-ontology.kif 14555-14555
(subrelation most part)	Mid-level-ontology.kif 14552-14552

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

consequent

(=> (instance ?BERG Iceberg) (exists (?PART ?WATER) (and (instance ?PART Ice) (most ?PART ?BERG) (instance ?WATER BodyOfWater) (covers ?WATER ?PART))))	Geography.kif 4982-4989
(=> (instance ?LAND Shoal) (exists (?PART ?WATER) (and (instance ?PART LandForm) (most ?PART ?LAND) (instance ?WATER BodyOfWater) (covers ?WATER ?PART))))	Geography.kif 6223-6230

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

KB Term:			Term intersection

English Word: