Constructing - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Constructing ChineseLanguage "这属于建造 StationaryArtifact 的 Making 的 subclass。")	chinese_format.kif 3219-3220
(documentation Constructing EnglishLanguage "The subclass of Making in which a StationaryArtifact is built.")	Merge.kif 12871-12872
(subclass Constructing Making)	Merge.kif 12870-12870	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 1589-1589
(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 399-399
(termFormat JapaneseLanguage Constructing "構築")	japanese_format.kif 2548-2548
(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 ro Constructing "construire")	relations-ro.kif 885-885
(termFormat tg Constructing "nagtatayo")	terms-tg.txt 400-400

antecedent

(=>
    (and
        (instance ?BUILD Constructing)
        (result ?BUILD ?ARTIFACT))
    (instance ?ARTIFACT StationaryArtifact))

Merge.kif 12874-12878

If a process is an instance of constructing and an entity is a result of the process,
then 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 7242-7257	If a collection is an instance of organization and building material and garden equipment and supplies dealers is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists an object such that the agent is an instance of selling and the object is an instance of object and the object is capable of doing constructing as a resource or the object is capable of doing agriculture as a resource and the object is a patient of the agent
(=> (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	If a collection is an instance of organization and construction is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the agent is an instance of constructing and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2
(=> (constructionPeriod ?OBJECT ?INTERVAL) (holdsDuring ?INTERVAL (exists (?CONSTRUCTING) (and (instance ?CONSTRUCTING Constructing) (result ?CONSTRUCTING ?OBJECT)))))	Mid-level-ontology.kif 20835-20841	If a stationary artifact was built during a time interval, then there exists an entity such that the entity is an instance of constructing and the stationary artifact is a result of the entity holds during the time interval
(=> (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 20850-20863	If a cognitive agent has a contract to build a stationary artifact, then there exist an agreement and another cognitive agent such that the agreement the attribute contract and the agreement is a party to agreement of the other cognitive agent and the agreement is a party to agreement of the cognitive agent and the other cognitive agent obligates the cognitive agent to perform task of the type there exist an entity and the stationary artifact2 such that the entity is an instance of constructing and the cognitive agent is an agent of the entity and the stationary artifact2 is a result of the entity and the stationary artifact2 is an instance of stationary artifact
(=> (instance ?ARTIFACT StationaryArtifact) (exists (?BUILD) (and (instance ?BUILD Constructing) (result ?BUILD ?ARTIFACT))))	Merge.kif 12880-12885	If an entity is an instance of stationary artifact, then there exists a process such that the process is an instance of constructing and the entity is a result of the process
(=> (instance ?B Brick) (hasPurpose ?B (exists (?C) (and (instance ?C Constructing) (resource ?C ?B)))))	Mid-level-ontology.kif 4752-4758	If a physical is an instance of brick, then the physical has the purpose there exists an entity such that the entity is an instance of constructing and the physical is a resource for the entity
(=> (instance ?BOARD BoardOrBlock) (capability Constructing resource ?BOARD))	Mid-level-ontology.kif 4741-4743	If an object is an instance of board or block, then the object is capable of doing constructing as a resource

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: