AeronauticalEngineer - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AeronauticalEngineer

AeronauticalEngineer(aeronautical engineer)

aeronautical_engineer, aerospace_engineer

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Biography.kif 434-434
No TPTP formula. May not be expressible in strict first order.	Biography.kif 433-433	Aeronautical engineer is an instance of skilled occupation
No TPTP formula. May not be expressible in strict first order.	Biography.kif 431-431	Aeronautical engineer is a subattribute of engineer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5646-5646
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5645-5645
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5644-5644

antecedent

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

Biography.kif 436-465

If aeronautical engineer is an attribute of an agent,
then there exists a kind of process such that the agent has the skill to do a kind of process and for all another process
- if the other process is an instance of the kind of process,
- then there exist a third process, an entity and the other processT such that the third process is an instance of making and the entity is an instance of aircraft or the entity is an instance of the other processT and a the other processT is typically a part of a aircraft and the entity is a result of the third process and the other process is a subprocess of the third process or there exist a fourth process, the other processLAN,, , the entity and the other processT such that the fourth process is an instance of designing and the entity is an instance of aircraft or the entity is an instance of the other processT and a the other processT is typically a part of a aircraft and the other processLAN is a result of the fourth process and the other processLAN expresses the entity and the other process is a subprocess of the fourth process

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