OperationOrder - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - OperationOrder

OperationOrder(operation order)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1658-1660
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1657-1657	Operation order is a subclass of ordering

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42264-42264
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42263-42263
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42262-42262

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1678-1683	If a physical is an instance of operation order and an entity is an instance of military operation, then the physical has the purpose the physical coordinates the entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1686-1694	If a process is an instance of operation order, then there exist an entity and the entityNING such that the entity is an instance of OPLAN and the entityNING is an instance of operation planning and the entity is a result of the entityNING and the entityNING causes the process and the entity includes a reference to the process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1663-1673	If a process is an instance of operation order, then there exist an agent, a position and an organization such that the agent is an agent of the process and the process originates at the agent and the process ends up at the position and the agent is an instance of military commander and the position is an instance of military commander and the organization is subordinate position the position for the agent and the organization is an instance of military force

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