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

Formal Language: 



KB Term:  Term intersection
English Word: 

  half

 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 13173-13174
(instance half BinaryPredicate) Mid-level-ontology.kif 13172-13172 半 是 二元谓语 的 instance
(subrelation half part) Mid-level-ontology.kif 13171-13171 半 是 部分 的 subrelation

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


(format ChineseLanguage half "%1 是 %2 的 half ") domainEnglishFormat.kif 3594-3594
(format ChineseTraditionalLanguage half "%1 是 %2 的 half ") domainEnglishFormat.kif 3593-3593
(format EnglishLanguage half "%1 is half of %2") domainEnglishFormat.kif 3592-3592
(termFormat ChineseLanguage half "半") domainEnglishFormat.kif 27258-27258
(termFormat ChineseTraditionalLanguage half "半") domainEnglishFormat.kif 27257-27257
(termFormat EnglishLanguage half "half") domainEnglishFormat.kif 27256-27256

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


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

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


(<=>
    (quarter ?Q ?W)
    (exists (?H)
        (and
            (half ?H ?W)
            (half ?Q ?H))))		 Mid-level-ontology.kif 13207-13212 客体 是 另一个 客体 的 quarter 若且唯若 有存在 第三 客体 这样 那个 第三 客体 是 那个 另外 客体 的 half 和 那个 客体 是 那个 第三 客体 的 half
(=>
    (and
        (attribute ?X ?HEMI)
        (instance ?HEMI HemisphereFigure))
    (exists (?Y)
        (and
            (instance ?Y Sphere)
            (half ?X ?Y))))		 Mid-level-ontology.kif 26548-26555
(=>
    (half ?HALF ?WHOLE)
    (exists (?OTHER)
        (and
            (half ?OTHER ?WHOLE)
            (not
                (equal ?OTHER ?HALF))
            (equal ?WHOLE
                (MereologicalSumFn ?HALF ?OTHER)))))		 Mid-level-ontology.kif 13176-13182
(=>
    (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 13219-13226


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

Show without tree


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