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 10781-10782
(instance half BinaryPredicate) Mid-level-ontology.kif 10780-10780
(subrelation half part) Mid-level-ontology.kif 10779-10779

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


(format ChineseLanguage half "%1 是 %2 的 half ") domainEnglishFormat.kif 3595-3595
(format ChineseTraditionalLanguage half "%1 是 %2 的 half ") domainEnglishFormat.kif 3594-3594
(format EnglishLanguage half "%1 is half of %2") domainEnglishFormat.kif 3593-3593
(termFormat ChineseLanguage half "半") domainEnglishFormat.kif 27187-27187
(termFormat ChineseTraditionalLanguage half "半") domainEnglishFormat.kif 27186-27186
(termFormat EnglishLanguage half "half") domainEnglishFormat.kif 27185-27185

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


(=>
    (half ?HALF ?WHOLE)
    (exists (?OTHER)
        (and
            (half ?OTHER ?WHOLE)
            (not
                (equal ?OTHER ?HALF))
            (equal ?WHOLE
                (MereologicalSumFn ?HALF ?OTHER)))))
Mid-level-ontology.kif 10784-10790

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


(<=>
    (quarter ?Q ?W)
    (exists (?H)
        (and
            (half ?H ?W)
            (half ?Q ?H))))
Mid-level-ontology.kif 10815-10820
(=>
    (and
        (attribute ?X ?HEMI)
        (instance ?HEMI HemisphereFigure))
    (exists (?Y)
        (and
            (instance ?Y Sphere)
            (half ?X ?Y))))
Mid-level-ontology.kif 24667-24674
(=>
    (half ?HALF ?WHOLE)
    (exists (?OTHER)
        (and
            (half ?OTHER ?WHOLE)
            (not
                (equal ?OTHER ?HALF))
            (equal ?WHOLE
                (MereologicalSumFn ?HALF ?OTHER)))))
Mid-level-ontology.kif 10784-10790
(=>
    (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 10827-10834


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners