| SyntheticSubstance(synthetic substance)
| | Plasticine, phosphor, rubber, synthetic, synthetic_rubber, synthetic_substance |
| 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 | Synthetic substance is a subclass of substance |
| appearance as argument number 2 |
|
|
| (partition Substance SyntheticSubstance NaturalSubstance) | Merge.kif 1043-1043 | Substance is exhaustively partitioned into synthetic substance and natural substance |
| (termFormat ChineseLanguage SyntheticSubstance "合成物质") | domainEnglishFormat.kif 56669-56669 | Substance is exhaustively partitioned into synthetic substance and natural substance |
| (termFormat ChineseTraditionalLanguage SyntheticSubstance "合成物質") | domainEnglishFormat.kif 56668-56668 | Substance is exhaustively partitioned into synthetic substance and natural substance |
| (termFormat EnglishLanguage SyntheticSubstance "synthetic substance") | domainEnglishFormat.kif 56667-56667 | Substance is exhaustively partitioned into synthetic substance and natural substance |
| antecedent |
|
|
| (=> (instance ?SUBSTANCE SyntheticSubstance) (exists (?PROCESS) (and (instance ?PROCESS IntentionalProcess) (result ?PROCESS ?SUBSTANCE) (instance ?SUBSTANCE Substance)))) |
Merge.kif 1072-1078 |
|
|
|
|