| 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 12930-12931 | |
| (subclass Constructing Making) | Merge.kif 12929-12929 |
| 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 de Constructing "Konstruieren") | terms-de.txt 694-694 | |
| (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 12933-12937 |
| consequent |
|
|
| (=> (and (instance ?ORG Organization) (attribute ?ORG BuildingMaterialAndGardenEquipmentAndSuppliesDealers)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING) (and (instance ?EV Selling) (instance ?THING Object) (or (capability Constructing resource ?THING) (capability Agriculture resource ?THING)) (patient ?EV ?THING)))))) |
naics.kif 7242-7257 | |
| (=> (and (instance ?ORG Organization) (attribute ?ORG Construction)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Constructing) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 1080-1095 | |
| (=> (constructionPeriod ?OBJECT ?INTERVAL) (holdsDuring ?INTERVAL (exists (?CONSTRUCTING) (and (instance ?CONSTRUCTING Constructing) (result ?CONSTRUCTING ?OBJECT))))) |
Mid-level-ontology.kif 22432-22438 | |
| (=> (contractor ?BUILDING ?CONTRACTOR) (exists (?CONTRACT ?AGENT) (and (property ?CONTRACT Contract) (partyToAgreement ?AGENT ?CONTRACT) (partyToAgreement ?CONTRACTOR ?CONTRACT) (confersObligation (exists (?CONSTRUCT ?BUILDING2) (and (instance ?CONSTRUCT Constructing) (agent ?CONSTRUCT ?CONTRACTOR) (result ?CONSTRUCT ?BUILDING2) (instance ?BUILDING2 StationaryArtifact))) ?AGENT ?CONTRACTOR)))) |
Mid-level-ontology.kif 22447-22460 | |
| (=> (instance ?ARTIFACT StationaryArtifact) (exists (?BUILD) (and (instance ?BUILD Constructing) (result ?BUILD ?ARTIFACT)))) |
Merge.kif 12939-12944 | |
| (=> (instance ?B Brick) (hasPurpose ?B (exists (?C) (and (instance ?C Constructing) (resource ?C ?B))))) |
Mid-level-ontology.kif 5239-5245 | |
| (=> (instance ?BOARD BoardOrBlock) (capability Constructing resource ?BOARD)) |
Mid-level-ontology.kif 5228-5230 |
|
|
|