Constructing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Constructing

Constructing(construire)

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 12847-12848
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12846-12846	Construire est une sous-classe de faire

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 12850-12854

Processus est une instance de construire entit� est le resultat de processus
entit� est une instance de artefact stationnaire

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 7242-7257	Collection est une instance de organisation BuildingMaterialAndGardenEquipmentAndSuppliesDealers est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent objet AutonomousAgent est une instance de vendre objet est une instance de objet objet est capable de faire construire dans le r�le resource objet est capable de faire Agriculture dans le r�le resource objet est un patient de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 1080-1095	Collection est une instance de organisation Construction est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent entit� processus2 and AutonomousAgent2 AutonomousAgent est une instance de construire entit� est un patient de AutonomousAgent processus2 est un membre de collection AutonomousAgent2 est une instance de vendre AutonomousAgent2 est un agent de processus2 entit� est un patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20807-20813	constructionPeriod artefact stationnaire and interval temporel entit� entit� est une instance de construire artefact stationnaire est le resultat de entit� pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20822-20835	contractor artefact stationnaire and agent cognitif Agreement agent cognitif Agreement a un attribute Contract partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement agent cognitif oblige agent cognitif � ex�cut� des t�ches du type entit� artefact stationnaire entit� est une instance de construire entit� est un agent de agent cognitif artefact stationnaire est le resultat de entit� artefact stationnaire est une instance de artefact stationnaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12856-12861	Entit� est une instance de artefact stationnaire processus processus est une instance de construire entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4757-4763	Physique est une instance de Brick physique a pour but entit� entit� est une instance de construire physique est une resource pour entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4746-4748	Objet est une instance de BoardOrBlock objet est capable de faire construire dans le r�le 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