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 947-949
(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 944-944 The number 1 argument of piece is an instance of substance
(domain piece 2 Substance) Merge.kif 945-945 The number 2 argument of piece is an instance of substance
(instance piece BinaryPredicate) Merge.kif 943-943 piece is an instance of binary predicate
(subrelation piece part) Merge.kif 942-942 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 45829-45829
(termFormat ChineseTraditionalLanguage piece "片") domainEnglishFormat.kif 45828-45828
(termFormat EnglishLanguage piece "piece") domainEnglishFormat.kif 45827-45827
(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 1193-1198
(=>
    (and
        (instance ?OBJ Substance)
        (attribute ?OBJ ?ATTR)
        (piece ?PART ?OBJ))
    (attribute ?PART ?ATTR))		 Merge.kif 1053-1058
(=>
    (and
        (measure
            (FlowFn ?FLUID)
            (MeasureFn ?NUM KnotUnitOfSpeed))
        (piece ?PART ?FLUID))
    (piece ?PART
        (MeasureFn ?NUM KnotUnitOfSpeed)))		 Geography.kif 4974-4978
(=>
    (and
        (measure
            (FlowFn ?FLUID)
            (SpeedFn ?LENGTH ?TIME))
        (piece ?PART ?FLUID))
    (piece ?PART
        (SpeedFn ?LENGTH ?TIME)))		 Geography.kif 4968-4972
(=>
    (and
        (measure
            (FlowFn ?FLUID)
            (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION))
        (piece ?PART ?FLUID))
    (measure ?PART
        (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION)))		 Geography.kif 4980-4984
(=>
    (and
        (subclass ?OBJECTTYPE Substance)
        (instance ?OBJECT ?OBJECTTYPE)
        (piece ?PART ?OBJECT))
    (instance ?PART ?OBJECTTYPE))		 Merge.kif 1046-1051
(=>
    (piece ?SUBSTANCE1 ?SUBSTANCE2)
    (forall (?CLASS)
        (=>
            (instance ?SUBSTANCE1 ?CLASS)
            (instance ?SUBSTANCE2 ?CLASS))))		 Merge.kif 951-956

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 3199-3211
(=>
    (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 7448-7460
(=>
    (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 7420-7431
(=>
    (and
        (measure
            (FlowFn ?FLUID)
            (MeasureFn ?NUM KnotUnitOfSpeed))
        (piece ?PART ?FLUID))
    (piece ?PART
        (MeasureFn ?NUM KnotUnitOfSpeed)))		 Geography.kif 4974-4978
(=>
    (and
        (measure
            (FlowFn ?FLUID)
            (SpeedFn ?LENGTH ?TIME))
        (piece ?PART ?FLUID))
    (piece ?PART
        (SpeedFn ?LENGTH ?TIME)))		 Geography.kif 4968-4972
(=>
    (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 5885-5899
(=>
    (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 4409-4422
(=>
    (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 1183-1191


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