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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Plan

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 16799-16800
No TPTP formula. May not be expressible in strict first order. Merge.kif 16798-16798 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 21530-21530 Diet is a subclass of plan
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16611-16611 Educational program is a subclass of plan
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1543-1543 Operation plan is a subclass of plan
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16640-16640 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 1689-1689
No TPTP formula. May not be expressible in strict first order. french_format.kif 912-912
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 445-445
No TPTP formula. May not be expressible in strict first order. terms-it.txt 448-448
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2596-2596
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 864-864
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 450-450
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 484-484
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 933-933
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 449-449

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4658-4658 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 4659-4659 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 16802-16810
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 10840-10848
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2596-2605
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 2754-2763


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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