| Constructing(constructing) | | aggrade, bank, bridge, build, building, canalisation, canalization, cantilever, cobble, cobblestone, construction, corduroy, crenelation, crenellation, crib, dike, dry-wall, dry_walling, dyke, embattle, erect, erecting, erection, even, even_out, fence, fence_in, flush, fort, fortify, go_up, grade, groin, gutter, hill, house-raising, jerry-building, level, mound, mound_over, pitch, put_up, raise, rear, rebuild, reconstruct, road_construction, roof, rustication, set_up... |
| appearance as argument number 1 |
|
|
| (subclass Constructing Making) | Merge.kif 13000-13000 | Constructing is a subclass of making |
| (documentation Constructing EnglishLanguage "The subclass of Making in which a StationaryArtifact is built.") | Merge.kif 13001-13002 | Constructing is a subclass of making |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Constructing "constructing") | english_format.kif 1589-1589 |
| antecedent |
|
|
| (=> (and (instance ?BUILD Constructing) (result ?BUILD ?ARTIFACT)) (instance ?ARTIFACT StationaryArtifact)) |
Merge.kif 13004-13008 | If X is an instance of constructing and Y is a result of X, then Y is an instance of stationary artifact |
| consequent |
|
|
| (=> (instance ?ARTIFACT StationaryArtifact) (exists (?BUILD) (and (instance ?BUILD Constructing) (result ?BUILD ?ARTIFACT)))) |
Merge.kif 13010-13015 | If X is an instance of stationary artifact, then there exists Y such that Y is an instance of constructing and X is a result of Y |
| (=> (instance ?BOARD BoardOrBlock) (capability Constructing resource ?BOARD)) |
Mid-level-ontology.kif 5225-5227 | If X is an instance of board or block, then X is capable of doing constructing as a resource |
| (=> (instance ?B Brick) (hasPurpose ?B (exists (?C) (and (instance ?C Constructing) (resource ?C ?B))))) |
Mid-level-ontology.kif 5236-5242 | If X is an instance of brick, then X has the purpose there exists Y such that Y is an instance of constructing and X is a resource for Y |
| (=> (constructionPeriod ?OBJECT ?INTERVAL) (holdsDuring ?INTERVAL (exists (?CONSTRUCTING) (and (instance ?CONSTRUCTING Constructing) (result ?CONSTRUCTING ?OBJECT))))) |
Mid-level-ontology.kif 23116-23122 | If X was built during Y, then there exists Z such that Z is an instance of constructing and X is a result of Z holds during Y |
| (=> (contractor ?BUILDING ?CONTRACTOR) (exists (?CONTRACT ?AGENT) (and (property ?CONTRACT Contract) (partyToAgreement ?AGENT ?CONTRACT) (partyToAgreement ?CONTRACTOR ?CONTRACT) (confersObligation ?AGENT ?CONTRACTOR (exists (?CONSTRUCT ?BUILDING2) (and (instance ?CONSTRUCT Constructing) (agent ?CONSTRUCT ?CONTRACTOR) (result ?CONSTRUCT ?BUILDING2) (instance ?BUILDING2 StationaryArtifact))))))) |
Mid-level-ontology.kif 23131-23144 | If X has a contract to build Y, then All of the following hold: (1) there exist Z (2) W such that Z the attribute contract (3) Z is a party to agreement of W (4) Z is a party to agreement of X (5) X obligates there exist V (6) U such that V is an instance of constructing (7) X is an agent of V (8) U is a result of V (9) U is an instance of stationary artifact to perform task of the type W |
| (=> (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 1074-1089 | If X is an instance of organization and construction is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of constructing (6) W is a patient of Y (7) V is a member of X (8) U is an instance of selling (9) V is an agent of U (10) W is a patient of U |
| (=> (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 7239-7254 | If X is an instance of organization and building material and garden equipment and supplies dealers is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exists W such that Y is an instance of selling (5) W is an instance of object (6) W is capable of doing constructing as a resource or W is capable of doing agriculture as a resource (7) W is a patient of Y |
|
|
|