EducationalProcess - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - EducationalProcess

EducationalProcess(Processo Educacional)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3070-3070
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11650-11651
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1838-1839
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11648-11648	Processo Educacional e' uma sub-classe de Guiar

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1095-1095
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1401-1401
No TPTP formula. May not be expressible in strict first order.	french_format.kif 773-773
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 305-305
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 308-308
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2457-2457
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 725-725
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 344-344
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 794-794
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 309-309

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16765-16775	Objeto e' uma instancia de ArtSchool Processo e' uma instancia de Processo Educacional eventLocated Processo and Objeto Processo Entidade Processo e' uma instancia de Fazer Entidade e' um patient de Processo Entidade e' uma instancia de Objeto de Arte Processo inclui uma referencia a Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11653-11661	Processo e' uma instancia de Processo Educacional Entidade e' um patient de Processo Processo tem por fim Entidade Entidade e' uma instancia de Aprender Entidade e' um patient de Entidade

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16851-16860	almaMater Humano and PostSecondarySchool Processo Processo e' uma instancia de Processo Educacional Processo termina em Humano eventLocated Processo and PostSecondarySchool Student e' um atributo de Humano vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8263-8270	Atributo e' uma instancia de SkilledOccupation Atributo e' um atributo de Objeto Processo Processo e' uma instancia de Processo Educacional Processo termina em Objeto
No TPTP formula. May not be expressible in strict first order.	Sports.kif 524-533	Coach e' um atributo de AutonomousAgent Entidade Entidade and Processo Entidade e' uma instancia de Humano Entidade e' uma instancia de Jogo Processo e' uma instancia de Processo Educacional Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Processo inclui uma referencia a Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18911-18913	Teacher e' um atributo de AutonomousAgent AutonomousAgent tem a capacidade de fazer Processo Educacional
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22598-22603	Student e' um atributo de Objeto Processo Processo e' uma instancia de Processo Educacional Objeto e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16815-16826	classmate Humano, Humano and EducationalCourse Colecao Processo and Posicao Temporal Colecao e' uma instancia de GroupOfPeople Processo e' uma instancia de Processo Educacional Processo exprime o conteudo de EducationalCourse Colecao e' um patient de Processo Posicao Temporal e' uma &parte de tempo de existencia de Processo memberAtTime Humano, Colecao and Posicao Temporal memberAtTime Humano, Colecao and Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Sports.kif 541-551	coaches Humano and Humano Coach e' um atributo de Humano Entidade Processo Entidade e' uma instancia de Jogo Processo e' uma instancia de Processo Educacional Processo e' um agente de Humano Humano e' um patient de Processo Processo inclui uma referencia a Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16630-16637	Proposicao e' uma instancia de EducationalCourse Processo Objeto Processo exprime o conteudo de Proposicao Processo e' uma instancia de Processo Educacional eventLocated Processo and Objeto Objeto e' uma instancia de Organizacao Educacional
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15604-15610	Fisico e' uma instancia de Classroom Fisico tem por fim Entidade Entidade e' uma instancia de Processo Educacional eventLocated Entidade and Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16707-16719	Fisico e' uma instancia de VocationalSchool Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Processo Educacional eventLocated Entidade and Fisico student Entidade and Fisico Entidade experimenta Entidade Entidade e' uma instancia de OccupationalTrade Entidade e' um atributo de Entidade vale durante o fim de tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22587-22593	Fisico e' uma instancia de EducationalFacility Fisico tem por fim Entidade Entidade e' uma instancia de Processo Educacional eventLocated Entidade and Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22484-22490	Fisico e' uma instancia de SchoolBuilding Fisico tem por fim Entidade Entidade e' uma instancia de Processo Educacional eventLocated Entidade and Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16797-16803	student Humano and Organizacao Educacional Processo Processo e' uma instancia de Processo Educacional eventLocated Processo and Organizacao Educacional Processo termina em Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16869-16875	teacher Humano and Organizacao Educacional Processo Processo e' uma instancia de Processo Educacional eventLocated Processo and Organizacao Educacional Processo e' um agente de Humano

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