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 14498-14499
(domain half 1 Object)	Mid-level-ontology.kif 14495-14495	The number 1 argument of half is an instance of object
(domain half 2 Object)	Mid-level-ontology.kif 14496-14496	The number 2 argument of half is an instance of object
(instance half BinaryPredicate)	Mid-level-ontology.kif 14497-14497	half is an instance of binary predicate
(subrelation half part)	Mid-level-ontology.kif 14494-14494	half is a subrelation of part

appearance as argument number 2

(format ChineseLanguage half "%1 是 %2 的 half ")	domainEnglishFormat.kif 3592-3592
(format ChineseTraditionalLanguage half "%1 是 %2 的 half ")	domainEnglishFormat.kif 3591-3591
(format EnglishLanguage half "%1 is half of %2")	domainEnglishFormat.kif 3590-3590
(termFormat ChineseLanguage half "半")	domainEnglishFormat.kif 27268-27268
(termFormat ChineseTraditionalLanguage half "半")	domainEnglishFormat.kif 27267-27267
(termFormat EnglishLanguage half "half")	domainEnglishFormat.kif 27266-27266

antecedent

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

Mid-level-ontology.kif 14501-14507

If an object is half of another object,
then there exists a third object such that the third object is half of the other object and equal the third object and the object and equal the other object and the union of the parts of the object and the third object

consequent

(<=> (quarter ?Q ?W) (exists (?H) (and (half ?H ?W) (half ?Q ?H))))	Mid-level-ontology.kif 14536-14541	An object is a quarter of another object if and only if there exists a third object such that the third object is half of the other object and the object is half of the third object
(=> (and (attribute ?X ?HEMI) (instance ?HEMI HemisphereFigure)) (exists (?Y) (and (instance ?Y Sphere) (half ?X ?Y))))	Mid-level-ontology.kif 28445-28452	If an attribute is an attribute of an object and the attribute is an instance of hemisphere, then there exists another object such that the other object is an instance of sphere and the object is half of the other object
(=> (half ?HALF ?WHOLE) (exists (?OTHER) (and (half ?OTHER ?WHOLE) (not (equal ?OTHER ?HALF)) (equal ?WHOLE (MereologicalSumFn ?HALF ?OTHER)))))	Mid-level-ontology.kif 14501-14507	If an object is half of another object, then there exists a third object such that the third object is half of the other object and equal the third object and the object and equal the other object and the union of the parts of the object and the third 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 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

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

KB Term:			Term intersection

English Word: