half - Sigma 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 11761-11762
(instance half BinaryPredicate)	Mid-level-ontology.kif 11760-11760	half is an instance of binary predicate
(subrelation half part)	Mid-level-ontology.kif 11759-11759	half is a subrelation of part

appearance as argument number 2

(format ChineseLanguage half "%1 是 %2 的 half ")	domainEnglishFormat.kif 3599-3599
(format ChineseTraditionalLanguage half "%1 是 %2 的 half ")	domainEnglishFormat.kif 3598-3598
(format EnglishLanguage half "%1 is half of %2")	domainEnglishFormat.kif 3597-3597
(termFormat ChineseLanguage half "半")	domainEnglishFormat.kif 27249-27249
(termFormat ChineseTraditionalLanguage half "半")	domainEnglishFormat.kif 27248-27248
(termFormat EnglishLanguage half "half")	domainEnglishFormat.kif 27247-27247

antecedent

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

Mid-level-ontology.kif 11764-11770

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 the third object is not equal to the object and the other object is equal to 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 11795-11800	An object is a quarter of an entity if and only if there exists another object such that the other object is half of the entity and the object is half of the other object
(=> (and (attribute ?X ?HEMI) (instance ?HEMI HemisphereFigure)) (exists (?Y) (and (instance ?Y Sphere) (half ?X ?Y))))	Mid-level-ontology.kif 24961-24968	If an attribute is an attribute of an object and the attribute is an instance of hemisphere, then there exists an entity such that the entity is an instance of sphere and the object is half of the entity
(=> (half ?HALF ?WHOLE) (exists (?OTHER) (and (half ?OTHER ?WHOLE) (not (equal ?OTHER ?HALF)) (equal ?WHOLE (MereologicalSumFn ?HALF ?OTHER)))))	Mid-level-ontology.kif 11764-11770	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 the third object is not equal to the object and the other object is equal to 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 11807-11814	If an object is most of an entity, then there exist another object, a real number,, , another real number and an unit of measure such that the other object is half of the entity and the measure of the other 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: