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 13174-13175
(instance half BinaryPredicate) Mid-level-ontology.kif 13173-13173 half2進述語instance では %n
(subrelation half part) Mid-level-ontology.kif 13172-13172 halfpartsubrelation では %n

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 13177-13183

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


(<=>
    (quarter ?Q ?W)
    (exists (?H)
        (and
            (half ?H ?W)
            (half ?Q ?H))))
Mid-level-ontology.kif 13208-13213 quarter オブジェクト and オブジェクト オブジェクト half オブジェクト and オブジェクト half オブジェクト and オブジェクト
(=>
    (and
        (attribute ?X ?HEMI)
        (instance ?HEMI HemisphereFigure))
    (exists (?Y)
        (and
            (instance ?Y Sphere)
            (half ?X ?Y))))
Mid-level-ontology.kif 26560-26567
(=>
    (half ?HALF ?WHOLE)
    (exists (?OTHER)
        (and
            (half ?OTHER ?WHOLE)
            (not
                (equal ?OTHER ?HALF))
            (equal ?WHOLE
                (MereologicalSumFn ?HALF ?OTHER)))))
Mid-level-ontology.kif 13177-13183
(=>
    (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 13220-13227


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