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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Plan
Plan(plan)401-k, 401-k_plan, BW_defence, BW_defense, ECCM, ECM, ESM, ESOP, EW, Gunpowder_Plot, Keogh_plan, Markoff_chain, Markoff_process, Markov_chain, Markov_process, Thatcherism, academic_program, active_air_defense, activism, agenda, air_defense, approach, attack, audit_program, audit_programme, avenue, bacteriological_warfare, battle_plan, beggar-my-neighbor_policy, beggar-my-neighbor_strategy, beggar-my-neighbour_policy, beggar-my-neighbour_strategy, bill_of_Particulars, biofeedback, biological_warfare_defence, biological_warfare_defense, blueprint, bubble, cabal, call_off, cancel, cash_cow, centralism, chemical_defence, chemical_defense, circuit, civil_defense, color_scheme, colour_scheme, computer_architecture...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3763-3764
No TPTP formula. May not be expressible in strict first order. Merge.kif 15669-15670
No TPTP formula. May not be expressible in strict first order. Merge.kif 15668-15668 Plan is a subclass of procedure

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19210-19210 Diet is a subclass of plan
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14239-14239 Educational program is a subclass of plan
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1524-1524 Operation plan is a subclass of plan
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14268-14268 Sports play is a subclass of plan
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1234-1234
No TPTP formula. May not be expressible in strict first order. english_format.kif 1694-1694

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 4482-4482 The number 1 argument of sub plan is an instance of plan
No TPTP formula. May not be expressible in strict first order. Merge.kif 4483-4483 The number 2 argument of sub plan is an instance of plan

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15672-15680
No TPTP formula. May not be expressible in strict first order. Military.kif 32-44

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10161-10169
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2803-2812
No TPTP formula. May not be expressible in strict first order. Military.kif 25-30
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2961-2970


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