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(planifier)

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	Planifier est une sous-classe de processus psycholoqique intentionnel

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16042-16042	Choreographing est une sous-classe de planifier
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1522-1522	OperationPlanning est une sous-classe de planifier
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

Processus est une instance de planifier ContentBearingPhysical est le resultat de processus ContentBearingPhysical est une instance de objet exprimant un sens
proposition proposition est une instance de plan ContentBearingPhysical contient information proposition

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16824-16832	Proposition est une instance de plan ContentBearingPhysical est une instance de objet exprimant un sens ContentBearingPhysical contient information proposition proposition NING proposition NING est une instance de planifier ContentBearingPhysical est le resultat de proposition NING
No TPTP formula. May not be expressible in strict first order.	Military.kif 32-44	Proposition est une instance de plan physique est une instance de processus proposition d�finie physique proposition NING ContentBearingPhysical proposition NING est une instance de planifier ContentBearingPhysical est une instance de ContentBearingPhysical ContentBearingPhysical contient information proposition ContentBearingPhysical est le resultat de proposition NING le d�but de temps d'existence de proposition NING arrive plus t�t que le d�but de temps d'existence de physique la fin de temps d'existence de proposition NING arrive plus t�t que la fin de temps d'existence de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1470-1475	Entit� est une instance de langage construit processus processus est une instance de planifier entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15992-15998	Physique est une instance de FormalMeeting processus processus est une instance de planifier physique est le resultat de processus temps d'existence de processus arrive plus t�t que temps d'existence de physique

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