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 14507-14508
(domain half 1 Object) Mid-level-ontology.kif 14504-14504 The number 1 argument of half is an instance of object
(domain half 2 Object) Mid-level-ontology.kif 14505-14505 The number 2 argument of half is an instance of object
(instance half BinaryPredicate) Mid-level-ontology.kif 14506-14506 half is an instance of binary predicate
(subrelation half part) Mid-level-ontology.kif 14503-14503 half is a subrelation of part

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


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

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


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

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


(<=>
    (quarter ?Q ?W)
    (exists (?H)
        (and
            (half ?H ?W)
            (half ?Q ?H))))
Mid-level-ontology.kif 14545-14550 An object is a quarter of another object if and only if there exists a third object such that the third object is half of the other object and the object is half of the third object
(=>
    (and
        (attribute ?X ?HEMI)
        (instance ?HEMI HemisphereFigure))
    (exists (?Y)
        (and
            (instance ?Y Sphere)
            (half ?X ?Y))))
Mid-level-ontology.kif 28461-28468
(=>
    (half ?HALF ?WHOLE)
    (exists (?OTHER)
        (and
            (half ?OTHER ?WHOLE)
            (not
                (equal ?OTHER ?HALF))
            (equal ?WHOLE
                (MereologicalSumFn ?HALF ?OTHER)))))
Mid-level-ontology.kif 14510-14516
(=>
    (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 14559-14566


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