Constructing
|
|
appearance as argument number 1 |
(documentation Constructing ChineseLanguage "这属于建造 StationaryArtifact 的 Making 的 subclass。") | chinese_format.kif 3219-3220 | |
(documentation Constructing EnglishLanguage "The subclass of Making in which a StationaryArtifact is built.") | Merge.kif 12871-12872 | |
(subclass Constructing Making) | Merge.kif 12870-12870 | 子類 Constructing and Making |
appearance as argument number 2 |
(termFormat ChineseLanguage Constructing "建筑") | chinese_format.kif 1186-1186 | |
(termFormat EnglishLanguage Constructing "constructing") | english_format.kif 1589-1589 | |
(termFormat FrenchLanguage Constructing "construire") | french_format.kif 864-864 | |
(termFormat Hindi Constructing "nirmaana") | terms-hindi.txt 396-396 | |
(termFormat ItalianLanguage Constructing "Costruzione") | terms-it.txt 399-399 | |
(termFormat JapaneseLanguage Constructing "構築") | japanese_format.kif 2548-2548 | |
(termFormat PortugueseLanguage Constructing "Construcao") | portuguese_format.kif 816-816 | |
(termFormat cb Constructing "pagtukod") | terms-cb.txt 401-401 | |
(termFormat cz Constructing "constructing") | terms-cz.txt 435-435 | |
(termFormat ro Constructing "construire") | relations-ro.kif 885-885 | |
(termFormat tg Constructing "nagtatayo") | terms-tg.txt 400-400 |
antecedent |
(=> (and (instance ?BUILD Constructing) (result ?BUILD ?ARTIFACT)) (instance ?ARTIFACT StationaryArtifact)) |
Merge.kif 12874-12878 |
|
consequent |