TreeView Knowledge Base Browser - Planning

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Planning

Planning(planning)

ad-lib, ad_hoc, aforethought, applecart, arrange, arranged, automate, automatise, automatize, be_after, block_out, budget, budgetary, calculated, calculation, calendar, casual, casually, chance, chart, choreograph, city_planning, conceive, conceptualise, conceptualize, concert, configured, connect, conspirative, conspiratorial, contrive, dehumanise, dehumanize, deliberate, deliberation, design, designing, devise, digest, direct, dogfight, elaborate, embattle, engineer, extemporaneous, extemporaneously, extemporarily, extemporary, extempore, fix...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2975-2975
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10871-10872
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1734-1735
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6772-6772
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10869-10869	Planning is a subclass of intentional psychological process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16070-16070	Choreographing is a subclass of planning
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1522-1522	Operation planning is a subclass of planning
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1107-1107
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1431-1431
No TPTP formula. May not be expressible in strict first order.	french_format.kif 785-785
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 317-317
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 320-320
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2469-2469
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 737-737
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 322-322
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 356-356
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 806-806
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 321-321

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 10874-10882

If a process is an instance of planning and a content bearing physical is a result of the process and the content bearing physical is an instance of content bearing object,
then there exists a proposition such that the proposition is an instance of plan and the content bearing physical contains information the proposition

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16873-16881	If a proposition is an instance of plan and a content bearing physical is an instance of content bearing object and the content bearing physical contains information the proposition, then there exists the propositionNING such that the propositionNING is an instance of planning and the content bearing physical is a result of the propositionNING
No TPTP formula. May not be expressible in strict first order.	Military.kif 32-44	If a proposition is an instance of plan and a physical is an instance of process and the proposition expresses the physical, then there exist the propositionNING and a content bearing physical such that the propositionNING is an instance of planning and the content bearing physical is an instance of content bearing physical and the content bearing physical contains information the proposition and the content bearing physical is a result of the propositionNING and the beginning of the time of existence of the propositionNING happens earlier than the beginning of the time of existence of the physical and the end of the time of existence of the propositionNING happens earlier than the end of the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1470-1475	If an entity is an instance of constructed language, then there exists a process such that the process is an instance of planning and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16020-16026	If a physical is an instance of formal meeting, then there exists a process such that the process is an instance of planning and the physical is a result of the process and the time of existence of the process happens earlier than the time of existence of the physical

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