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 16974-16975
No TPTP formula. May not be expressible in strict first order. Merge.kif 16973-16973 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 23147-23147 Diet is a subclass of plan
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17998-17998 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 18027-18027 Sports play is a subclass of plan
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1234-1234 Sports play is a subclass of plan
No TPTP formula. May not be expressible in strict first order. english_format.kif 1689-1689 Sports play is a subclass of plan
No TPTP formula. May not be expressible in strict first order. french_format.kif 912-912 Sports play is a subclass of plan
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 445-445 Sports play is a subclass of plan
No TPTP formula. May not be expressible in strict first order. terms-it.txt 448-448 Sports play is a subclass of plan
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2596-2596 Sports play is a subclass of plan
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 864-864 Sports play is a subclass of plan
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 450-450 Sports play is a subclass of plan
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 484-484 Sports play is a subclass of plan
No TPTP formula. May not be expressible in strict first order. terms-de.txt 743-743 Sports play is a subclass of plan
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 933-933 Sports play is a subclass of plan
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 449-449 Sports play is a subclass of plan

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4686-4686 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 4687-4687 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 16977-16985
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 10978-10986
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 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