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(OPLA n)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1575-1575	OPLA n is disjoint from CONPLA n
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1751-1760
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1750-1750	OPLA n is a subclass of operation plan

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7471-7471	"OPLA n" is the printable form of OPLA n in english language
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2752-2752	"OPLAN" is the printable form of OPLA n in english language

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1762-1768	If an entity is an instance of OPLA n 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 1770-1775	If a proposition is an instance of OPLA n, 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 1789-1794	If an entity is an instance of OPLA n, 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 1780-1786	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 OPLA n
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1654-1662	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 OPLA n 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners