TreeView Knowledge Base Browser - Constructing

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Constructing

Constructing(constructing)

aggrade, bank, bridge, build, building, canalisation, canalization, cantilever, cobble, cobblestone, construction, corduroy, crenelation, crenellation, crib, dike, dry-wall, dry_walling, dyke, embattle, erect, erecting, erection, even, even_out, fence, fence_in, flush, fort, fortify, go_up, grade, groin, gutter, hill, house-raising, jerry-building, level, mound, mound_over, pitch, put_up, raise, rear, rebuild, reconstruct, road_construction, roof, rustication, set_up...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3219-3220
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12825-12826
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12824-12824	Constructing is a subclass of making

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1186-1186
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1589-1589
No TPTP formula. May not be expressible in strict first order.	french_format.kif 864-864
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 396-396
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 399-399
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2548-2548
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 816-816
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 401-401
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 435-435
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 885-885
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 400-400

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 12828-12832

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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20808-20814	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20823-20836	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12834-12839	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4757-4763	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4746-4748	If an object is an instance of board or block, then the object is capable of doing constructing as a resource

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