Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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...

VerbNet: other_cos-45.4|level, other_cos-45.4|level, butter-9.9|fence, butter-9.9|fence, other_cos-45.4|level, remedy-45.7|fortify, remedy-45.7|fortify, remedy-45.7|grade, other_cos-45.4|level, spray-9.7|mound, create-26.4|rebuild, create-26.4|rebuild, butter-9.9|roof, butter-9.9|shingle, fill-9.8|stud, butter-9.9|thatch, fill-9.8|tile,


appearance as argument number 1
-------------------------


(documentation Constructing ChineseLanguage "这属于建造 StationaryArtifactMakingsubclass。") chinese_format.kif 3219-3220
(documentation Constructing EnglishLanguage "The subclass of Making in which a StationaryArtifact is built.") Merge.kif 11869-11870
(subclass Constructing Making) Merge.kif 11868-11868 Constructing is a subclass of making

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


(termFormat ChineseLanguage Constructing "建筑") chinese_format.kif 1186-1186
(termFormat EnglishLanguage Constructing "constructing") english_format.kif 1594-1594

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


(<=>
    (exists (?BUILD)
        (and
            (instance ?BUILD Constructing)
            (result ?BUILD ?ARTIFACT)))
    (instance ?ARTIFACT StationaryArtifact))
Merge.kif 11872-11877 There exists a process such that the process is an instance of constructing and an entity is a result of the process if and only if the entity is an instance of stationary artifact

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 7249-7264
(=>
    (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 18514-18520
(=>
    (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 18529-18542
(=>
    (instance ?B Brick)
    (hasPurpose ?B
        (exists (?C)
            (and
                (instance ?C Constructing)
                (resource ?C ?B)))))
Mid-level-ontology.kif 5079-5085
(=>
    (instance ?BOARD BoardOrBlock)
    (capability Constructing resource ?BOARD))
Mid-level-ontology.kif 5069-5071


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners