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

Formal Language: 



KB Term:  Term intersection
English Word: 

  piece

Sigma KEE - piece
piece

appearance as argument number 1
-------------------------


(documentation piece ChineseLanguage "这是对 Substance 某些部分的一个专业常识概念。类似的同意词 有:块、大块、小块等。可参考比较 part 的另外一个子关系 component 。") chinese_format.kif 1576-1577
(documentation piece EnglishLanguage "A specialized common sense notion of part for arbitrary parts of Substances. Quasi-synonyms are: chunk, hunk, bit, etc. Compare component, another subrelation of part.") Merge.kif 929-931
(domain piece 1 Substance) Merge.kif 926-926 The number 1 argument of piece is an instance of substance
(domain piece 2 Substance) Merge.kif 927-927 The number 2 argument of piece is an instance of substance
(instance piece BinaryPredicate) Merge.kif 925-925 piece is an instance of binary predicate
(subrelation piece part) Merge.kif 924-924 piece is a subrelation of part

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


(format ChineseLanguage piece "%1 %n 是 %2 的 piece") chinese_format.kif 169-169
(format EnglishLanguage piece "%1 is %n a piece of %2") english_format.kif 170-170
(termFormat ChineseLanguage piece "块") chinese_format.kif 170-170
(termFormat ChineseLanguage piece "片") domainEnglishFormat.kif 45781-45781
(termFormat ChineseTraditionalLanguage piece "片") domainEnglishFormat.kif 45780-45780
(termFormat EnglishLanguage piece "piece") domainEnglishFormat.kif 45779-45779

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


(=>
    (and
        (instance ?MIXTURE Mixture)
        (piece ?SUBSTANCE ?MIXTURE)
        (not
            (instance ?SUBSTANCE Mixture)))
    (instance ?SUBSTANCE PureSubstance))
Merge.kif 1152-1157
(=>
    (and
        (instance ?OBJ Substance)
        (attribute ?OBJ ?ATTR)
        (piece ?PART ?OBJ))
    (attribute ?PART ?ATTR))
Merge.kif 1012-1017
(=>
    (and
        (measure
            (FlowFn ?FLUID)
            (MeasureFn ?NUM KnotUnitOfSpeed))
        (piece ?PART ?FLUID))
    (piece ?PART
        (MeasureFn ?NUM KnotUnitOfSpeed)))
Geography.kif 4803-4807
(=>
    (and
        (measure
            (FlowFn ?FLUID)
            (SpeedFn ?LENGTH ?TIME))
        (piece ?PART ?FLUID))
    (piece ?PART
        (SpeedFn ?LENGTH ?TIME)))
Geography.kif 4797-4801
(=>
    (and
        (measure
            (FlowFn ?FLUID)
            (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION))
        (piece ?PART ?FLUID))
    (measure ?PART
        (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION)))
Geography.kif 4809-4813
(=>
    (and
        (subclass ?OBJECTTYPE Substance)
        (instance ?OBJECT ?OBJECTTYPE)
        (piece ?PART ?OBJECT))
    (instance ?PART ?OBJECTTYPE))
Merge.kif 1005-1010
(=>
    (piece ?SUBSTANCE1 ?SUBSTANCE2)
    (forall (?CLASS)
        (=>
            (instance ?SUBSTANCE1 ?CLASS)
            (instance ?SUBSTANCE2 ?CLASS))))
Merge.kif 933-938

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


(=>
    (and
        (instance ?X Substance)
        (attribute ?X Insoluble))
    (not
        (modalAttribute
            (exists (?Y ?Z)
                (and
                    (instance ?Y Substance)
                    (instance ?Z Solution)
                    (piece ?X ?Z)
                    (piece ?Y ?Z))) Possibility)))
Geography.kif 7068-7080
(=>
    (and
        (instance ?X Substance)
        (attribute ?X Soluble))
    (modalAttribute
        (exists (?Y ?Z)
            (and
                (instance ?Y Substance)
                (instance ?Z Solution)
                (piece ?X ?Z)
                (piece ?Y ?Z))) Possibility))
Geography.kif 7040-7051
(=>
    (and
        (measure
            (FlowFn ?FLUID)
            (MeasureFn ?NUM KnotUnitOfSpeed))
        (piece ?PART ?FLUID))
    (piece ?PART
        (MeasureFn ?NUM KnotUnitOfSpeed)))
Geography.kif 4803-4807
(=>
    (and
        (measure
            (FlowFn ?FLUID)
            (SpeedFn ?LENGTH ?TIME))
        (piece ?PART ?FLUID))
    (piece ?PART
        (SpeedFn ?LENGTH ?TIME)))
Geography.kif 4797-4801
(=>
    (instance ?AIR Air)
    (piece ?AIR EarthsAtmosphere))
Weather.kif 37-39
(=>
    (instance ?C Coffee)
    (exists (?CAF)
        (and
            (instance ?CAF Caffeine)
            (piece ?CAF ?C))))
Mid-level-ontology.kif 21100-21105
(=>
    (instance ?Loam Loam)
    (exists (?Clay ?Sand ?Gravel ?Silt ?Organic)
        (and
            (instance ?Clay Clay)
            (piece ?Clay ?Loam)
            (instance ?Gravel Gravel)
            (piece ?Gravel ?Loam)
            (instance ?Sand Sand)
            (piece ?Sand ?Loam)
            (instance ?Silt Silt)
            (piece ?Silt ?Loam)
            (instance ?Organic BodySubstance)
            (piece ?Organic ?Loam))))
Geography.kif 4262-4275
(=>
    (instance ?MIXTURE Mixture)
    (exists (?PURE1 ?PURE2)
        (and
            (instance ?PURE1 PureSubstance)
            (instance ?PURE2 PureSubstance)
            (not
                (equal ?PURE1 ?PURE2))
            (piece ?PURE1 ?MIXTURE)
            (piece ?PURE2 ?MIXTURE))))
Merge.kif 1142-1150


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