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 15620-15621
No TPTP formula. May not be expressible in strict first order. Merge.kif 15619-15619 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 19204-19204 Diet is a subclass of plan
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14237-14237 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 14266-14266 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 4468-4468 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 4469-4469 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 15623-15631
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 10126-10134
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2801-2810
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 2959-2968


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