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 1588-1588	OPLAN is disjoint from CONPLAN
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1764-1773
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1763-1763	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 42226-42226
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42225-42225
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42224-42224

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1775-1781	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 1783-1788	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 1802-1807	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 1793-1799	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 1667-1675	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