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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 964-966
(documentation piece JapaneseLanguage "Substances の任意のパーツの専門常識の概念の部分。 準同義語:チャンク、ハンク、ビット、など。 part のもう1つの下位関係である component と比較 する。") japanese_format.kif 150-152
(documentation piece SpanishLanguage "Una noción de sentido común especializada para piezas arbitrarias de Substances. Los cuasi sinónimos son pedazo, trozo y cacho. Compare component, otra subrelación de part.") spanish_format.kif 175-177
(domain piece 1 Substance) Merge.kif 961-961 The number 1 argument of piece is an instance of substance
(domain piece 2 Substance) Merge.kif 962-962 The number 2 argument of piece is an instance of substance
(instance piece BinaryPredicate) Merge.kif 960-960 piece is an instance of binary predicate
(subrelation piece part) Merge.kif 959-959 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
(format FrenchLanguage piece "%1 est %n une pi�ce de %2") french_format.kif 104-104
(format ItalianLanguage piece "%1 è %n un membro di %2") relations-it.txt 223-223
(format JapaneseLanguage piece "%1 は %2 の piece では %n") japanese_format.kif 1933-1933
(format PortugueseLanguage piece "%1 e' %n uma peca de %2") portuguese_format.kif 56-56
(format cz piece "%1 %p{je} %n{nen�} a piece of %2") relations-cz.txt 66-66
(format de piece "%1 ist ein stueck von %2 %n{nicht}") relations-de.txt 209-209
(format hi piece "%1 %2 kaa Tukadaa %n hai") relations-hindi.txt 261-261
(format ro piece "%1 %n{nu} este o piece%t{bucatã} a lui %2") relations-ro.kif 123-123
(format sv piece "%1 är %n{inte} en bit av %2") relations-sv.txt 105-105
(format tg piece "%1 %n ay ang bahagi ng %2") relations-tg.txt 415-415
(termFormat ChineseLanguage piece "块") chinese_format.kif 170-170
(termFormat ChineseLanguage piece "片") domainEnglishFormat.kif 45800-45800
(termFormat ChineseTraditionalLanguage piece "片") domainEnglishFormat.kif 45799-45799
(termFormat EnglishLanguage piece "piece") domainEnglishFormat.kif 45798-45798
(termFormat de piece "stueck") terms-de.txt 65-65

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


(=>
    (and
        (instance ?F Food)
        (attribute ?F DecafAttribute)
        (piece ?C ?F)
        (instance ?C Caffeine))
    (exists (?R)
        (and
            (instance ?R Removing)
            (destination ?R ?F)
            (patient ?R ?C))))
Food.kif 425-435
(=>
    (and
        (instance ?MIXTURE Mixture)
        (piece ?SUBSTANCE ?MIXTURE)
        (not
            (instance ?SUBSTANCE Mixture)))
    (instance ?SUBSTANCE PureSubstance))
Merge.kif 1210-1215
(=>
    (and
        (instance ?OBJ Substance)
        (attribute ?OBJ ?ATTR)
        (piece ?PART ?OBJ))
    (attribute ?PART ?ATTR))
Merge.kif 1070-1075
(=>
    (and
        (measure
            (FlowFn ?FLUID)
            (MeasureFn ?NUM KnotUnitOfSpeed))
        (piece ?PART ?FLUID))
    (piece ?PART
        (MeasureFn ?NUM KnotUnitOfSpeed)))
Geography.kif 5159-5163
(=>
    (and
        (measure
            (FlowFn ?FLUID)
            (SpeedFn ?LENGTH ?TIME))
        (piece ?PART ?FLUID))
    (piece ?PART
        (SpeedFn ?LENGTH ?TIME)))
Geography.kif 5153-5157
(=>
    (and
        (measure
            (FlowFn ?FLUID)
            (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION))
        (piece ?PART ?FLUID))
    (measure ?PART
        (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION)))
Geography.kif 5165-5169
(=>
    (and
        (subclass ?OBJECTTYPE Substance)
        (instance ?OBJECT ?OBJECTTYPE)
        (piece ?PART ?OBJECT))
    (instance ?PART ?OBJECTTYPE))
Merge.kif 1063-1068
(=>
    (piece ?SUBSTANCE1 ?SUBSTANCE2)
    (forall (?CLASS)
        (=>
            (instance ?SUBSTANCE1 ?CLASS)
            (instance ?SUBSTANCE2 ?CLASS))))
Merge.kif 968-973

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


(=>
    (and
        (attribute ?F DecafAttribute)
        (instance ?F Food))
    (not
        (exists (?C)
            (and
                (instance ?C Caffeine)
                (piece ?C ?F)))))
Food.kif 437-445
(=>
    (and
        (instance ?C Curdling)
        (patient ?C ?X)
        (instance ?X Colloid))
    (exists (?S ?A)
        (and
            (instance ?S Separating)
            (subProcess ?S ?C)
            (patient ?S ?X)
            (result ?S ?A)
            (piece ?A ?X)
            (instance ?A Substance))))
Food.kif 3206-3218
(=>
    (and
        (instance ?F Food)
        (attribute ?F CaffeinatedAttribute))
    (exists (?CAF)
        (and
            (instance ?CAF Caffeine)
            (piece ?CAF ?F))))
Food.kif 411-418
(=>
    (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 7717-7729
(=>
    (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 7689-7700
(=>
    (and
        (measure
            (FlowFn ?FLUID)
            (MeasureFn ?NUM KnotUnitOfSpeed))
        (piece ?PART ?FLUID))
    (piece ?PART
        (MeasureFn ?NUM KnotUnitOfSpeed)))
Geography.kif 5159-5163
(=>
    (and
        (measure
            (FlowFn ?FLUID)
            (SpeedFn ?LENGTH ?TIME))
        (piece ?PART ?FLUID))
    (piece ?PART
        (SpeedFn ?LENGTH ?TIME)))
Geography.kif 5153-5157
(=>
    (bloodVolume ?H ?V)
    (exists (?B)
        (and
            (instance ?B Blood)
            (contains ?H ?B)
            (instance ?H Human)
            (measure ?B ?V)
            (not
                (exists (?B2)
                    (and
                        (instance ?B2 Blood)
                        (contains ?H ?B2)
                        (not
                            (piece ?B2 ?B))))))))
Medicine.kif 5915-5929
(=>
    (instance ?AIR Air)
    (piece ?AIR EarthsAtmosphere))
Weather.kif 37-39
(=>
    (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 4580-4593
(=>
    (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 1200-1208


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