TreeView Knowledge Base Browser - Classifying

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Classifying

Classifying(Classificar)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3114-3116
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12031-12036
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12030-12030	Classificar e' uma sub-classe de Processo Psicologico Intencional

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 449-449	TerminalAttackControl e' uma sub-classe de Classificar
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 501-501	TerminalGuidance e' uma sub-classe de Classificar
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1145-1145
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1507-1507
No TPTP formula. May not be expressible in strict first order.	french_format.kif 823-823
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 355-355
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 358-358
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2507-2507
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 775-775
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 360-360
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 394-394
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 844-844
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 359-359

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2660-2674	Processo e' uma instancia de Evacuation Processo e' um agente de Organizacao AutonomousAgent experimenta Processo Processo ProcessoA Processo e' uma instancia de Classificar Processo e' um sub-processo de Processo AutonomousAgent experimenta Processo ProcessoA e' uma parte da organizacao Organizacao ProcessoA e' membro de Organizacao ProcessoA e' igual a Organizacao Processo e' um agente de ProcessoA
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 558-570	Processo e' uma instancia de RecoveryOperation Entidade e' um patient de Processo Processo tem por fim Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de a uniao de Classificar e a uniao de Perseguir e a uniao de Discovering e a uniao de Locating e Returning
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3062-3075	subjectiveAttribute AutonomousAgent, Atributo and AutonomousAgent Atributo e' uma instancia de FoodRating AutonomousAgent e' uma instancia de AutonomousAgent Entidade Processo and Processo Processo e' uma instancia de Cozinhar Processo e' um agente de AutonomousAgent Entidade e' o resultado de Processo Processo e' uma instancia de Classificar Processo e' um agente de AutonomousAgent Processo termina em Entidade Atributo e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3091-3103	subjectiveAttribute AutonomousAgent, Atributo and AutonomousAgent Atributo e' uma instancia de ServiceRating AutonomousAgent e' uma instancia de AutonomousAgent Processo Processo Processo e' uma instancia de ServiceProcess Processo e' um agente de AutonomousAgent Processo e' uma instancia de Classificar Processo e' um agente de AutonomousAgent Processo termina em Processo Atributo e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1437-1445	Entidade e' uma instancia de Proliferation Processo AutonomousAgent and Entidade Processo e' uma instancia de Classificar Processo e' um agente de AutonomousAgent Entidade e' uma instancia de Aumentar Processo termina em Entidade subjectiveAttribute Entidade, Quick and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3052-3060	Fisico e' uma instancia de FoodRating Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Classificar Entidade termina em Entidade Fisico e' um patient de Entidade Entidade e' uma instancia de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3081-3089	Fisico e' uma instancia de ServiceRating Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Classificar Entidade termina em Entidade Fisico e' um patient de Entidade Entidade e' uma instancia de ServiceProcess
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6114-6120	Fisico e' uma instancia de TriageTag Fisico tem por fim Entidade Entidade e' uma instancia de Classificar Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3017-3024	ratingsAgent RatingAttribute and AutonomousAgent Processo Entidade Processo e' uma instancia de Classificar Processo e' um agente de AutonomousAgent Processo termina em Entidade RatingAttribute e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Dining.kif 318-325	subjectiveAttribute Entidade, Atributo and AutonomousAgent Processo Processo e' uma instancia de Classificar Processo e' um agente de AutonomousAgent Atributo e' um patient de Processo Processo termina em Entidade

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