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


KB Term:  Term intersection
English Word: 

  Sweden

 Sigma KEE - Construction
Construction(construction)

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


(instance Construction IndustryAttribute) naics.kif 1068-1068 Construction is an instance of industry attribute
(documentation Construction EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Construction.") naics.kif 1070-1072 Construction is an instance of industry attribute
(externalImage Construction "http://articulatesoftware.com/SUMOpictures/ working/ vehicles/ Crane_1.png") pictureList.kif 1715-1715 Construction is an instance of industry attribute

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


(termFormat EnglishLanguage Construction "construction") domainEnglishFormat.kif 16788-16788
(termFormat ChineseTraditionalLanguage Construction "施工") domainEnglishFormat.kif 16789-16789
(termFormat ChineseLanguage Construction "施工") domainEnglishFormat.kif 16790-16790
(subAttribute BuildingDevelopingAndGeneralContracting Construction) naics.kif 1091-1091 Building developing and general contracting is a subattribute of construction
(subAttribute HeavyConstruction Construction) naics.kif 1146-1146 Heavy construction is a subattribute of construction
(subAttribute SpecialTradeContractors Construction) naics.kif 1209-1209 Special trade contractors is a subattribute of construction

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


(=>
    (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


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