Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OperationPlanning
OperationPlanning(operation planning)operation_planning

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1491-1493
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1489-1489 Operation planning is a subclass of military operation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1490-1490 Operation planning is a subclass of planning

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1730-1730 Joint operation planning is a subclass of operation planning
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7465-7465 "operation planning" is the printable form of operation planning in english language

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1495-1501
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1550-1572
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2051-2059

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1503-1509
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1654-1662


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