TreeView Knowledge Base Browser - Plan

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Plan

Sigma KEE - Plan

Plan(Plano)

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 16821-16822
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16820-16820	Plano e' uma sub-classe de Procedimento

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21529-21529	Diet e' uma sub-classe de Plano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16610-16610	EducationalProgram e' uma sub-classe de Plano
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1543-1543	OperationPlan e' uma sub-classe de Plano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16639-16639	SportsPlay e' uma sub-classe de Plano
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	O argumento numero 1 de subPlan e' uma instancia de Plano
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4659-4659	O argumento numero 2 de subPlan e' uma instancia de Plano

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16824-16832	Proposicao e' uma instancia de Plano ContentBearingPhysical e' uma instancia de Objeto Representendo Conteudo Abstrato ContentBearingPhysical contem informacao Proposicao ProposicaoNING ProposicaoNING e' uma instancia de Planejar ContentBearingPhysical e' o resultado de ProposicaoNING
No TPTP formula. May not be expressible in strict first order.	Military.kif 32-44	Proposicao e' uma instancia de Plano Fisico e' uma instancia de Processo Proposicao define Fisico ProposicaoNING ContentBearingPhysical ProposicaoNING e' uma instancia de Planejar ContentBearingPhysical e' uma instancia de ContentBearingPhysical ContentBearingPhysical contem informacao Proposicao ContentBearingPhysical e' o resultado de ProposicaoNING o comeco de tempo de existencia de ProposicaoNING acontence antes de o comeco de tempo de existencia de Fisico o fim de tempo de existencia de ProposicaoNING acontence antes de o fim de tempo de existencia de Fisico

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10862-10870	Processo e' uma instancia de Planejar ContentBearingPhysical e' o resultado de Processo ContentBearingPhysical e' uma instancia de Objeto Representendo Conteudo Abstrato Proposicao Proposicao e' uma instancia de Plano ContentBearingPhysical contem informacao Proposicao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2596-2605	ContentBearingPhysical e' uma instancia de BusinessRequirementDocument Proposicao Agente Cognitivo and Formula Proposicao e' uma instancia de Plano Agente Cognitivo e' uma instancia de Business Formula e' uma instancia de Processo Proposicao define Formula Agente Cognitivo deseja Formula ContentBearingPhysical contem informacao Proposicao
No TPTP formula. May not be expressible in strict first order.	Military.kif 25-30	Entidade e' uma instancia de MilitaryOperation Entidade Entidade e' uma instancia de Plano Entidade define Entidade
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2754-2763	ContentBearingPhysical e' uma instancia de TestProtocolSpecification Proposicao Processo and Processo Proposicao e' uma instancia de Plano Processo e' uma instancia de Experimenting Processo e' uma instancia de Processo Proposicao define Processo Processo e' um sub-processo de Processo ContentBearingPhysical contem informacao Proposicao

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