OPLAN - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - OPLAN

OPLAN(OPLAN)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1607-1607	OPLAN is disjoint from CONPLAN
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1783-1792
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1782-1782	OPLAN is a subclass of operation plan

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42318-42318
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42317-42317
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42316-42316

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1794-1800	If an entity is an instance of OPLAN and the entity expresses a process and the process is an instance of military operation and the processSUB is a subprocess of the process, then the entity expresses the processSUB
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1802-1807	If a proposition is an instance of OPLAN, then there exists a content bearing physical such that the content bearing physical is an instance of TPFDD file and the content bearing physical contains information the proposition
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1821-1826	If an entity is an instance of OPLAN, then there exists another entity such that the entity expresses the other entity and the other entity is an instance of joint operation

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1812-1818	If a process is an instance of joint 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 OPLAN
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

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