TreeView Knowledge Base Browser

appearance as argument number 1

(documentation half EnglishLanguage "(half ?HALF ?WHOLE) means that ?HALF is one half of ?WHOLE.")	Mid-level-ontology.kif 13201-13202
(instance half BinaryPredicate)	Mid-level-ontology.kif 13200-13200	例半 and BinaryPredicate
(subrelation half part)	Mid-level-ontology.kif 13199-13199	子關係半 and 部分

appearance as argument number 2

(format ChineseLanguage half "%1 是 %2 的 half ")	domainEnglishFormat.kif 3594-3594
(format ChineseTraditionalLanguage half "%1 是 %2 的 half ")	domainEnglishFormat.kif 3593-3593
(format EnglishLanguage half "%1 is half of %2")	domainEnglishFormat.kif 3592-3592
(termFormat ChineseLanguage half "半")	domainEnglishFormat.kif 27258-27258
(termFormat ChineseTraditionalLanguage half "半")	domainEnglishFormat.kif 27257-27257
(termFormat EnglishLanguage half "half")	domainEnglishFormat.kif 27256-27256

antecedent

(=>
    (half ?HALF ?WHOLE)
    (exists (?OTHER)
        (and
            (half ?OTHER ?WHOLE)
            (not
                (equal ?OTHER ?HALF))
            (equal ?WHOLE
                (MereologicalSumFn ?HALF ?OTHER)))))

Mid-level-ontology.kif 13204-13210

Object 是 Object 的 half
Object Object 是 Object 的 half 等於 Object and Object 等於 Object and mereological 總和 Object and Object

consequent

(<=> (quarter ?Q ?W) (exists (?H) (and (half ?H ?W) (half ?Q ?H))))	Mid-level-ontology.kif 13235-13240	Object 是 Object 的 quarter Object Object 是 Object 的 half Object 是 Object 的 half
(=> (and (attribute ?X ?HEMI) (instance ?HEMI HemisphereFigure)) (exists (?Y) (and (instance ?Y Sphere) (half ?X ?Y))))	Mid-level-ontology.kif 26593-26600	attribute Object and Attribute 例 Attribute and HemisphereFigure Object 例 Object and 球 Object 是 Object 的 half
(=> (half ?HALF ?WHOLE) (exists (?OTHER) (and (half ?OTHER ?WHOLE) (not (equal ?OTHER ?HALF)) (equal ?WHOLE (MereologicalSumFn ?HALF ?OTHER)))))	Mid-level-ontology.kif 13204-13210	Object 是 Object 的 half Object Object 是 Object 的 half 等於 Object and Object 等於 Object and mereological 總和 Object and Object
(=> (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 13247-13254	Object 是 Object 的 most Object RealNumber, RealNumber and UnitOfMeasure Object 是 Object 的 half 測量 Object and 測量 RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber

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

KB Term:			Term intersection

English Word: