Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - half
half

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

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
(=>
    (half ?HALF ?WHOLE)
    (exists (?OTHER)
        (and
            (half ?OTHER ?WHOLE)
            (not
                (equal ?OTHER ?HALF))
            (equal ?WHOLE
                (MereologicalSumFn ?HALF ?OTHER)))))
Mid-level-ontology.kif 11764-11770
(=>
    (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


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