Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Constructing

 Sigma KEE - Constructing
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 13114-13114 Constructing is a subclass of making
(documentation Constructing EnglishLanguage "The subclass of Making in which a StationaryArtifact is built.") Merge.kif 13115-13116 Constructing is a subclass of making

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Constructing "constructing") english_format.kif 1593-1593

antecedent
-------------------------


(=>
    (and
        (instance ?BUILD Constructing)
        (result ?BUILD ?ARTIFACT))
    (instance ?ARTIFACT StationaryArtifact))		 Merge.kif 13118-13122 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 13124-13129 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 5360-5362 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 5371-5377 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 23050-23056 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 23065-23078 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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners