TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3066-3067
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11631-11632
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1834-1835
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11629-11629	Guiar e' uma sub-classe de Processo Intencional

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23416-23416	AchievingControl e' uma sub-classe de Guiar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4343-4343	AnimalGuiding e' uma sub-classe de Guiar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18542-18542	DramaticDirecting e' uma sub-classe de Guiar
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11634-11634	Dirigir e' uma sub-classe de Guiar
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11648-11648	Processo Educacional e' uma sub-classe de Guiar
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 69-69	GuidingMotion e' uma sub-classe de Guiar
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10849-10849	Administrar e' uma sub-classe de Guiar
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1725-1725	MovingCursor e' uma sub-classe de Guiar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18492-18492	MusicalConducting e' uma sub-classe de Guiar
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 101-101	PhysicalGuiding e' uma sub-classe de Guiar
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2252-2252	RailCarrierControl e' uma sub-classe de Guiar
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10839-10839	Processo Regulatorio e' uma sub-classe de Guiar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23392-23392	Seating e' uma sub-classe de Guiar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23405-23405	Signalling e' uma sub-classe de Guiar
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1130-1130
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1477-1477
No TPTP formula. May not be expressible in strict first order.	french_format.kif 808-808
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 340-340
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 343-343
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2492-2492
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 760-760
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 345-345
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 379-379
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 829-829

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 2309-2317	Area Geopolitica e' uma instancia de Area Geopolitica Humano ocupa a posicao de Leader o governo de Area Geopolitica Processo Processo e' uma instancia de Guiar Area Geopolitica e' um patient de Processo Processo e' um agente de Humano
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1051-1063	AutonomousAgent e' uma instancia de GuidedMissile Processo e' uma instancia de Flying AutonomousAgent e' um patient de Processo Processo Processo e' uma instancia de Guiar Processo e' um patient de Processo Processo e' um agente de AutonomousAgent tempo de existencia de Processo acontece durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30760-30771	passenger Transferencia and AutonomousAgent Objeto e' uma instancia de Vehicle Objeto e' um instrumento para Transferencia Processo tempo de existencia de Processo acontece durante tempo de existencia de Transferencia Processo e' uma instancia de Guiar Processo e' um agente de AutonomousAgent Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30733-30746	FlightSteward e' um atributo de Fisico vale durante Posicao Temporal Fisico tem por fim Entidade Entidade e' uma instancia de Airplane Entidade Entidade e' uma instancia de Guiar Entidade e' um agente de Fisico Entidade e' um instrumento para Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2739-2747	Fisico e' uma instancia de AnimalController Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Guiar Fisico e' um instrumento para Entidade Entidade e' uma instancia de Animal Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2853-2861	Fisico e' uma instancia de Baton Fisico tem por fim Entidade Entidade Entidade e' uma instancia de MusicalPerformance Entidade e' uma instancia de Guiar Entidade e' um sub-processo de Entidade Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2350-2360	Fisico e' uma instancia de CivilAffairs Fisico tem por fim Entidade Entidade_ACT Entidade e' uma instancia de Guiar Entidade_ACT e' um patient de Entidade Fisico e' um agente de Entidade Entidade_ACT e' uma instancia de CivilMilitaryOperation Entidade_ACT e' uma instancia de CivilAffairsActivity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2386-2393	Fisico e' uma instancia de CivilAffairsActivity Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Guiar Entidade e' um patient de Entidade Entidade e' uma instancia de CivilMilitaryOperation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 290-297	Entidade e' uma instancia de SpecialOperation Processo AutonomousAgent Processo e' uma instancia de Guiar Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de SpecialOperationsForces
No TPTP formula. May not be expressible in strict first order.	Government.kif 2301-2307	Humano ocupa a posicao de Leader Organizacao Processo Processo e' uma instancia de Guiar Organizacao e' um patient de Processo Processo e' um agente de Humano

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

KB Term:			Term intersection

English Word: