TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3889-3890
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17431-17432
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17430-17430	Possibility e' uma instancia de Atributo Aletico

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46808-46808
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46807-46807
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46806-46806

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17438-17440	O argumento Formula tem a forca modal de Necessity o argumento Formula nao %n a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29446-29451	DeviceDamaged e' um atributo de Objeto Objeto tem por fim Formula o argumento Formula nao %n a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29419-29423	DeviceNormal e' um atributo de Objeto Objeto tem por fim Formula o argumento Formula tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5824-5834	Doenca ou Sindrome e' um atributo de Objeto diseaseTreatment Doenca ou Sindrome and Processo Terapeutico Processo e' uma instancia de TherpeuticProcess Processo e' um agente de Doenca ou SindromeOC Objeto e' um patient de Processo MedicalDoctor e' um atributo de Doenca ou SindromeOC o argumento Processo e' uma instancia de Processo Terapeutico tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1207-1224	CommunalAttribute e' um atributo de Objeto Objeto e' uma instancia de Table Processo e' uma instancia de Comer Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de GroupOfPeople eventLocated Processo and Objeto o argumento Entidade Entidade and Objeto2 Entidade e' uma instancia de Comer Entidade e' um agente de Entidade AutonomousAgent e' igual a Entidade Entidade e' uma instancia de GroupOfPeople eventLocated Entidade and Objeto2 tempo de existencia de Processo encontra tempo de existencia de Entidade Objeto e' igual a Objeto2 tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25736-25749	Multilingual e' um atributo de AutonomousAgent Processo e' uma instancia de Speaking Processo e' um agente de AutonomousAgent o argumento Entidade Entidade Entidade e' uma instancia de SpokenHumanLanguage Entidade e' uma instancia de SpokenHumanLanguage Entidade e' igual a Entidade Entidade e' um patient de Processo Entidade e' um patient de Processo tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26147-26159	WheelchairAccessible e' um atributo de Objeto Objeto e' uma instancia de Predio Objeto e' uma instancia de Comodo o argumento Entidade Entidade Entidade e' uma instancia de Movimento Entidade e' um instrumento para Entidade Entidade e' uma instancia de Wheelchair eventLocated Entidade and Objeto tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 153-172	Organizacao e' capaz de fazer ValetParking no role agent customer Agente Cognitivo and Organizacao Organizacao e' situado em Objeto Processo e' uma instancia de Arriving Processo e' um agente de Agente Cognitivo Entidade e' um patient de Processo Processo termina em Objeto Humano Humano ocupa a posicao de Valet Organizacao o argumento Entidade Entidade Entidade e' uma instancia de ValetParking Entidade e' um agente de Humano Entidade e' um patient de Entidade Entidade termina em Entidade Entidade e' uma instancia de ParkingRegion tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 522-538	customer Agente Cognitivo and AutonomousAgent propertyAmenity AutonomousAgent and Fisico Fisico e' uma sub-classe de Processo o argumento Entidade Entidade and Entidade Entidade e' um elemento de propriedade de AutonomousAgent Entidade e' um agente de AutonomousAgent Agente Cognitivo e' um patient de Entidade Entidade e' uma instancia de Fisico Entidade e' uma instancia de Fisico Entidade e' um sub-processo de Entidade Entidade e' situado em Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1522-1535	AutonomousAgent emprega Agente Cognitivo TravelerAccommodation e' um atributo de AutonomousAgent TennisProfessional e' um atributo de Agente Cognitivo guest Agente Cognitivo and AutonomousAgent o argumento Entidade Entidade Entidade e' uma instancia de Tennis contestParticipant Entidade and Agente Cognitivo contestParticipant Entidade and Agente Cognitivo Entidade e' situado em Entidade AutonomousAgent e' situado em Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3040-3054	AutonomousAgent emprega Agente Cognitivo Processo e' uma instancia de DoNetworkMessaging Objeto e' o resultado de Processo NSFW e' um atributo de Objeto Processo e' uma instancia de Visao Objeto e' um patient de Processo Processo e' um agente de Agente Cognitivo o argumento Entidade Processo causa Entidade suffers Entidade and Agente Cognitivo tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Dining.kif 336-350	facility AutonomousAgent and Objeto customer Agente Cognitivo and AutonomousAgent Entidade e' uma instancia de Objeto Agente Cognitivo deseja Entidade Entidade e' uma instancia de Processo Intencional Entidade e' um patient de Entidade Entidade e' um agente de Agente Cognitivo o argumento AutonomousAgent autoriza Agente Cognitivo a executar tarefas de tipo Agente Cognitivo usa Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 811-832	functionRoomAmenity HotelFunctionRoom and Fisico Entidade e' uma instancia de HotelFunctionRoom Entidade e' um elemento de propriedade de AutonomousAgent Processo e' uma instancia de Renting Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent Processo termina em Entidade Fisico e' uma sub-classe de Objeto o argumento Entidade Entidade Entidade e' uma instancia de Fisico Entidade e' uma instancia de Processo Entidade e' um recurso para Entidade Entidade e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' um agente de Entidade Entidade experimenta Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Government.kif 223-234	governmentType AutonomousAgent and Monarchy Organismo e' uma instancia de Humano Organismo e' uma instancia de Humano chiefOfState AutonomousAgent, Entidade and Organismo vale durante Intervalo Temporal Organismo e Organismo sao parentes Intervalo Temporal acontence antes de Intervalo Temporal o argumento chiefOfState AutonomousAgent, Entidade and Organismo vale durante Intervalo Temporal tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4427-4444	hasAccount Agente Cognitivo and UserAccount password ComputerPassword and UserAccount deviceAccount UserAccount and Computer Agente Cognitivo nao sabe %n password ComputerPassword and UserAccount Agente Cognitivo sabe recoveryKey Entidade and UserAccount Agente Cognitivo possui Computer o argumento Entidade Entidade e' uma instancia de ChangingPassword UserAccount e' um patient de Entidade Entidade e' um agente de Agente Cognitivo tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1545-1555	Processo e' uma instancia de Anaphylaxis AutonomousAgent experimenta Processo o argumento Entidade Entidade e' uma instancia de Morte AutonomousAgent experimenta Entidade Processo causa Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10576-10592	Objeto e' uma instancia de BodySegment Objeto e' uma instancia de BodySegment Objeto e' conectado com Objeto Movimento e' uma instancia de Movimento do Corpo moves Movimento and Objeto o argumento Movimento2 Movimento2 e' uma instancia de Movimento do Corpo moves Movimento2 and Objeto tempo de existencia de Movimento2 acontece durante tempo de existencia de Movimento tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30803-30814	Entidade e' uma instancia de Carabiner DeviceClosed e' um atributo de Entidade vale durante Posicao Temporal o argumento Entidade Entidade e' uma instancia de ClimbingRope Entidade contem Entidade tem a forca modal de Possibility vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3972-3986	Processo e' uma instancia de LoggingIn hasAccount AutonomousAgent and UserAccount accountAtSite UserAccount and WebSite Intervalo Temporal e' igual a imediatemente apos tempo de existencia de Processo Processo e' um agente de AutonomousAgent o argumento Entidade Entidade e' uma instancia de ComputerProcess Entidade e' um agente de AutonomousAgent WebSite e' um patient de Entidade vale durante Intervalo Temporal tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3988-4002	Processo e' uma instancia de LoggingIn hasAccount AutonomousAgent and UserAccount deviceAccount UserAccount and Computer Intervalo Temporal e' igual a imediatemente apos tempo de existencia de Processo Processo e' um agente de AutonomousAgent o argumento Entidade Entidade e' uma instancia de ComputerProcess Entidade e' um agente de AutonomousAgent Computer e' um instrumento para Entidade vale durante Intervalo Temporal tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8623-8634	Objeto e' uma instancia de Poison Movimento e' uma instancia de Ingerir moves Movimento and Objeto AutonomousAgent experimenta Movimento o argumento Blind e' um atributo de AutonomousAgent vale durante apos tempo de existencia de Movimento tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2535-2553	Policy e' uma instancia de ChildrenPolicy policyOwner Organizacao and Policy policyLocationCoverage Policy and Objeto Policy contem informacao o argumento Entidade customer Entidade and Organizacao Entidade e' uma instancia de HumanChild tem a forca modal de Possibility Policy contem informacao o argumento Entidade customer Entidade and Organizacao Entidade e' uma instancia de HumanChild nao %n a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1766-1776	Entidade e' uma instancia de CargoVehicle Entidade e' uma instancia de Humano o argumento Entidade Entidade e' uma instancia de Transporte Entidade e' um patient de Entidade Entidade e' um instrumento para Entidade nao %n a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1748-1758	Entidade e' uma instancia de PassengerVehicle Entidade e' uma instancia de Humano o argumento Entidade Entidade e' uma instancia de Transporte Entidade e' um patient de Entidade Entidade e' um instrumento para Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25304-25314	Objeto e' uma instancia de HotTub Fisico e' situado em Objeto Fisico e' uma instancia de Agua o argumento Entidade Entidade e' uma instancia de Aquecer Objeto e' um instrumento para Entidade Fisico e' um patient de Entidade tem a forca modal de Possibility

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: