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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Constructing
Constructingاِنْشاء, بِناء, مهّد, سطّح, سهّل, سوّى, مهد, ...

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


(documentation Constructing ChineseLanguage "这属于建造 StationaryArtifactMakingsubclass。") Merge.kif 12695-12696
(documentation Constructing EnglishLanguage "The subclass of Making in which a StationaryArtifact is built.") Merge.kif 12693-12694
(subclass Constructing Making) Merge.kif 12692-12692

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


(termFormat ChineseLanguage Constructing "建筑") chinese_format.kif 1186-1186
(termFormat EnglishLanguage Constructing "constructing") english_format.kif 873-873
(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 397-397
(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 tg Constructing "nagtatayo") terms-tg.txt 400-400

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


(<=>
    (exists (?BUILD)
        (and
            (instance ?BUILD Constructing)
            (result ?BUILD ?ARTIFACT)))
    (instance ?ARTIFACT StationaryArtifact))
Merge.kif 12698-12703

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 18402-18408
(=>
    (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 18417-18430
(=>
    (instance ?B Brick)
    (hasPurpose ?B
        (exists (?C)
            (and
                (instance ?C Constructing)
                (resource ?C ?B)))))
Mid-level-ontology.kif 5078-5084
(=>
    (instance ?BOARD BoardOrBlock)
    (capability Constructing resource ?BOARD))
Mid-level-ontology.kif 5068-5070


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