SyntheticSubstance |
appearance as argument number 1 |
(documentation SyntheticSubstance ChineseLanguage "这是任何由 IntentionalProcess 所造成的 Substance , 也就是任何由 Humans 所制造的物质。") | chinese_format.kif 1591-1592 | |
(documentation SyntheticSubstance EnglishLanguage "Any Substance that is the result of an IntentionalProcess, i.e. any substance that is created by Humans.") | Merge.kif 1069-1070 | |
(documentation SyntheticSubstance JapaneseLanguage "IntentionalProcess の結果である任意の Substance。例えば、Humans によって作成される任意の物質など。") | japanese_format.kif 170-171 | |
(documentation SyntheticSubstance SpanishLanguage "Cualquiera Substance que es el resultado de un IntentionalProcess, por ejemplo, cualquiera sustancia que se crea por Humans.") | spanish_format.kif 200-202 | |
(externalImage SyntheticSubstance "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 42/ Azul_e_Branco.JPG") | pictureList.kif 919-919 | |
(subclass SyntheticSubstance Substance) | Merge.kif 1067-1067 |
appearance as argument number 2 |
(partition Substance SyntheticSubstance NaturalSubstance) | Merge.kif 1043-1043 | |
(termFormat ChineseLanguage SyntheticSubstance "合成物质") | domainEnglishFormat.kif 56631-56631 | |
(termFormat ChineseTraditionalLanguage SyntheticSubstance "合成物質") | domainEnglishFormat.kif 56630-56630 | |
(termFormat EnglishLanguage SyntheticSubstance "synthetic substance") | domainEnglishFormat.kif 56629-56629 |
antecedent |
(=> (instance ?SUBSTANCE SyntheticSubstance) (exists (?PROCESS) (and (instance ?PROCESS IntentionalProcess) (result ?PROCESS ?SUBSTANCE) (instance ?SUBSTANCE Substance)))) |
Merge.kif 1072-1078 |