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 15500-15501
No TPTP formula. May not be expressible in strict first order. Merge.kif 15499-15499 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 19168-19168 Diet is a subclass of plan
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14211-14211 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 14240-14240 Sports play is a subclass of plan
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1234-1234 "计划" is the printable form of plan in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 1694-1694 "plan" is the printable form of plan in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4337-4337 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 4338-4338 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 15503-15511
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 10002-10010
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners