Guiding - Sigma 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 11655-11656
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 11653-11653	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 23469-23469	AchievingControl e' uma sub-classe de Guiar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4336-4336	AnimalGuiding e' uma sub-classe de Guiar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18570-18570	DramaticDirecting e' uma sub-classe de Guiar
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11658-11658	Dirigir e' uma sub-classe de Guiar
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11672-11672	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 10861-10861	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 18520-18520	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 2258-2258	RailCarrierControl e' uma sub-classe de Guiar
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10851-10851	Processo Regulatorio e' uma sub-classe de Guiar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23445-23445	Seating e' uma sub-classe de Guiar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23458-23458	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 2273-2281	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 30796-30807	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 30769-30782	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 2732-2740	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 2846-2854	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 2265-2271	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 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

KB Term:			Term intersection

English Word: