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 954-956 | |
(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 951-951 | Il numero 1 argomenti di piece è un istanza di Sostanza |
(domain piece 2 Substance) | Merge.kif 952-952 | Il numero 2 argomenti di piece è un istanza di Sostanza |
(instance piece BinaryPredicate) | Merge.kif 950-950 | piece è un' istanza di PredicatoBinario |
(subrelation piece part) | Merge.kif 949-949 | piece è una sottorelazione di 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 1200-1205 | |
(=> (and (instance ?OBJ Substance) (attribute ?OBJ ?ATTR) (piece ?PART ?OBJ)) (attribute ?PART ?ATTR)) |
Merge.kif 1060-1065 | |
(=> (and (measure (FlowFn ?FLUID) (MeasureFn ?NUM KnotUnitOfSpeed)) (piece ?PART ?FLUID)) (piece ?PART (MeasureFn ?NUM KnotUnitOfSpeed))) |
Geography.kif 4905-4909 |
|
(=> (and (measure (FlowFn ?FLUID) (SpeedFn ?LENGTH ?TIME)) (piece ?PART ?FLUID)) (piece ?PART (SpeedFn ?LENGTH ?TIME))) |
Geography.kif 4899-4903 | |
(=> (and (measure (FlowFn ?FLUID) (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION)) (piece ?PART ?FLUID)) (measure ?PART (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION))) |
Geography.kif 4911-4915 |
|
(=> (and (subclass ?OBJECTTYPE Substance) (instance ?OBJECT ?OBJECTTYPE) (piece ?PART ?OBJECT)) (instance ?PART ?OBJECTTYPE)) |
Merge.kif 1053-1058 | |
(=> (piece ?SUBSTANCE1 ?SUBSTANCE2) (forall (?CLASS) (=> (instance ?SUBSTANCE1 ?CLASS) (instance ?SUBSTANCE2 ?CLASS)))) |
Merge.kif 958-963 |
consequent |