Planning - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Planning

Planning(Planejar)

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 10859-10860
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 10857-10857	Planejar e' uma sub-classe de Processo Psicologico Intencional

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16042-16042	Choreographing e' uma sub-classe de Planejar
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1522-1522	OperationPlanning e' uma sub-classe de Planejar
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 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

consequent

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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1470-1475	Entidade e' uma instancia de Lingagem Construida Processo Processo e' uma instancia de Planejar Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15992-15998	Fisico e' uma instancia de FormalMeeting Processo Processo e' uma instancia de Planejar Fisico e' o resultado de Processo tempo de existencia de Processo acontence antes de tempo de existencia de Fisico

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