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, Plano, Programma, 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...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16953-16954
No TPTP formula. May not be expressible in strict first order. Merge.kif 16951-16952
No TPTP formula. May not be expressible in strict first order. Merge.kif 16950-16950 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 18748-18748 Diet is a subclass of plan
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13951-13951 Educational program is a subclass of plan
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1511-1511 Operation plan is a subclass of plan
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13980-13980 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 921-921 "plan" is the printable form of plan in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 912-912 "plan" is the printable form of plan in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 445-445 "yojanaa" is the printable form of plan in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 446-446 "Programma" is the printable form of plan in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 864-864 "Plano" is the printable form of plan in portuguese language
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 450-450 "plano" is the printable form of plan in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 484-484 "plan" is the printable form of plan in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 449-449 "Plano" is the printable form of plan in tg

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4767-4767 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 4768-4768 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 16956-16964
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 10669-10677
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2804-2813
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 2962-2971


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