Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - half
half

appearance as argument number 1
-------------------------


(subrelation half part) Mid-level-ontology.kif 14728-14728 half is a subrelation of part
(domain half 1 Object) Mid-level-ontology.kif 14729-14729 The number 1 argument of half is an instance of object
(domain half 2 Object) Mid-level-ontology.kif 14730-14730 The number 2 argument of half is an instance of object
(instance half BinaryPredicate) Mid-level-ontology.kif 14731-14731 half is an instance of binary predicate
(documentation half EnglishLanguage "(half ?HALF ?WHOLE) means that ?HALF is one half of ?WHOLE.") Mid-level-ontology.kif 14732-14733 half is an instance of binary predicate

appearance as argument number 2
-------------------------


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

antecedent
-------------------------


(=>
    (half ?HALF ?WHOLE)
    (exists (?OTHER)
        (and
            (half ?OTHER ?WHOLE)
            (not
                (equal ?OTHER ?HALF))
            (equal ?WHOLE
                (MereologicalSumFn ?HALF ?OTHER)))))		 Mid-level-ontology.kif 14735-14741 If X is half of Y, then there exists Z such that Z is half of Y, equal Z, X, equal Y, the union of the parts of X, and Z

consequent
-------------------------


(=>
    (half ?HALF ?WHOLE)
    (exists (?OTHER)
        (and
            (half ?OTHER ?WHOLE)
            (not
                (equal ?OTHER ?HALF))
            (equal ?WHOLE
                (MereologicalSumFn ?HALF ?OTHER)))))		 Mid-level-ontology.kif 14735-14741 If X is half of Y, then there exists Z such that Z is half of Y, equal Z, X, equal Y, the union of the parts of X, and Z
(<=>
    (quarter ?Q ?W)
    (exists (?H)
        (and
            (half ?H ?W)
            (half ?Q ?H))))		 Mid-level-ontology.kif 14770-14775 X is a quarter of Y if, only if there exists Z such that Z is half of Y, and X is half of Z
(=>
    (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
(=>
    (and
        (attribute ?X ?HEMI)
        (instance ?HEMI HemisphereFigure))
    (exists (?Y)
        (and
            (instance ?Y Sphere)
            (half ?X ?Y))))		 Mid-level-ontology.kif 29154-29161 If X is an attribute of Y and X is an instance of hemisphere, then there exists Z such that Z is an instance of sphere and Y is half of Z


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners