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 12587-12588
(subclass Constructing Making)	Merge.kif 12586-12586	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

antecedent

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

Merge.kif 12590-12594

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 20125-20131	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 20140-20153	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 12596-12601	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 4491-4497	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 4480-4482	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: