OperationPlan - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - OperationPlan

OperationPlan(operation plan)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1544-1571
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1543-1543	Operation plan is a subclass of plan

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1606-1606	CONPLAN is a subclass of operation plan
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2076-2076	Counter terrorism strategy is a subclass of operation plan
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1782-1782	OPLAN is a subclass of operation plan
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42270-42270
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42269-42269
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42268-42268

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1535-1541	If a proposition is an instance of operation plan and a content bearing physical contains information the proposition and the content bearing physical is an instance of content bearing object and the content bearing physical is a result of a process, then the process is an instance of operation planning
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1573-1580	If a proposition is an instance of operation plan and a content bearing physical is an instance of content bearing object and the content bearing physical contains information the proposition and a process is an instance of military operation and the content bearing physical is a result of the process, then the proposition expresses the process

consequent

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

MilitaryProcesses.kif 1527-1533

If a process is an instance of operation planning and a content bearing physical is a result of the process and the content bearing physical is an instance of content bearing object and the content bearing physical contains information a proposition,
then the proposition is an instance of operation plan

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