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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Constructing

Sigma KEE - Constructing
Constructing(建筑)

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


(documentation Constructing ChineseLanguage "这属于建造 StationaryArtifactMakingsubclass。") Merge.kif 12753-12754
(documentation Constructing EnglishLanguage "The subclass of Making in which a StationaryArtifact is built.") Merge.kif 12751-12752
(subclass Constructing Making) Merge.kif 12750-12750 建筑制作subclass

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


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

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


(<=>
    (exists (?BUILD)
        (and
            (instance ?BUILD Constructing)
            (result ?BUILD ?ARTIFACT)))
    (instance ?ARTIFACT StationaryArtifact))
Merge.kif 12756-12761 有存在 过程 这样 那个 过程建筑instance 实体那个 过程result 若且唯若 那个 实体固定人工制品instance

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 18460-18466
(=>
    (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 18475-18488
(=>
    (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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners