|
|
   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 12587-12588 | |
| (subclass Constructing Making) | Merge.kif 12586-12586 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Constructing "建筑") | chinese_format.kif 1186-1186 | |
| (termFormat EnglishLanguage Constructing "constructing") | english_format.kif 1589-1589 |
| antecedent |
|
|
| (=> (and (instance ?BUILD Constructing) (result ?BUILD ?ARTIFACT)) (instance ?ARTIFACT StationaryArtifact)) |
Merge.kif 12590-12594 |
| 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 20125-20131 | |
| (=> (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 20140-20153 | |
| (=> (instance ?ARTIFACT StationaryArtifact) (exists (?BUILD) (and (instance ?BUILD Constructing) (result ?BUILD ?ARTIFACT)))) |
Merge.kif 12596-12601 | |
| (=> (instance ?B Brick) (hasPurpose ?B (exists (?C) (and (instance ?C Constructing) (resource ?C ?B))))) |
Mid-level-ontology.kif 4491-4497 | |
| (=> (instance ?BOARD BoardOrBlock) (capability Constructing resource ?BOARD)) |
Mid-level-ontology.kif 4480-4482 |
|
|
|