TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1552-1554
No TPTP formula. May not be expressible in strict first order.	Merge.kif 847-852
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 122-125
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 141-145
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1204-1204
No TPTP formula. May not be expressible in strict first order.	Merge.kif 846-846	Objeto e' uma sub-classe de Fisico

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 833-833	O conceito Fisico e' completamente decomposto em Objeto + Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9964-9964	O contra-dominio de HoleHostFn e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10105-10105	O contra-dominio de HoleSkinFn e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2626-2626	O contra-dominio de LineFn e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9867-9867	O contra-dominio de MereologicalDifferenceFn e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9846-9846	O contra-dominio de MereologicalProductFn e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9824-9824	O contra-dominio de MereologicalSumFn e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1776-1776	Os valores retornados por AttrFn sao as sub-classes de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18451-18451	Os valores retornados por MakingFn sao as sub-classes de Objeto
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5250-5250	Os valores retornados por OrganicObjectFn sao as sub-classes de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15727-15727	Artefato e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14068-14068	Corpo Astronomico e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1556-1556	AutonomousAgent e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1261-1261	Colecao e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24610-24610	ContactSite e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3851-3851	Magnet e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1251-1251	Regiao e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 862-862	Objeto auto-conectado e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2096-2096	Shrapnel e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25644-25644	SphericalObject e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2051-2051	TornadoDamage e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15277-15277	TransitwayObstacle e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4792-4792	TwoDimensionalObject e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 815-815

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1276-1276	O argumento numero 3 de AccelerationFn e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7662-7662	O argumento numero 1 de CenterOfCircleFn e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4933-4933	O argumento numero 1 de DiameterFn e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2624-2624	O argumento numero 1 de LineFn e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2625-2625	O argumento numero 2 de LineFn e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9865-9865	O argumento numero 1 de MereologicalDifferenceFn e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9866-9866	O argumento numero 2 de MereologicalDifferenceFn e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9844-9844	O argumento numero 1 de MereologicalProductFn e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9845-9845	O argumento numero 2 de MereologicalProductFn e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9822-9822	O argumento numero 1 de MereologicalSumFn e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9823-9823	O argumento numero 2 de MereologicalSumFn e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4952-4952	O argumento numero 1 de RadiusFn e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 870-870	O argumento numero 1 de absorbedDose e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 936-936	O argumento numero 1 de adjacentOrientation e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 184-184	O argumento numero 1 de advertisedOn e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25706-25706	O argumento numero 1 de airTemperature e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31395-31395	O argumento numero 1 de allowableValue e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Music.kif 357-357	O argumento numero 2 de anthem e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31408-31408	O argumento numero 1 de applicableRelation e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1926-1926	O argumento numero 1 de askPrice e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1720-1720	O argumento numero 1 de attribute e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17492-17492	O argumento numero 1 de axis e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17493-17493	O argumento numero 2 de axis e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7852-7852	O argumento numero 1 de barometricPressure e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29794-29794	O argumento numero 1 de beforeOnPath e' uma instancia de Objeto

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23304-23310	Role em Caso Processo and Objeto Role em Caso e' uma instancia de Role em Caso Processo e' uma instancia de Processo Objeto e' uma instancia de Objeto playsRoleInEvent Objeto, Role em Caso and Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25720-25729	Atributo e' um atributo de Objeto Atributo e' uma instancia de TemperatureAttribute Objeto e' uma instancia de Objeto Objeto a medida de Objeto e' Objeto Objeto e' uma instancia de Medida de Temperatura Atributo e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 504-520	customer Agente Cognitivo and AutonomousAgent propertyAmenity AutonomousAgent and Fisico Fisico e' uma sub-classe de Objeto Entidade e' uma instancia de Fisico AutonomousAgent autoriza Agente Cognitivo a executar tarefas de tipo Entidade 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 Agente Cognitivo Agente Cognitivo experimenta Entidade
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5267-5276	Objeto e' igual a OrganicObjectFn Objeto Organico Objeto e' uma sub-classe de Objeto Objeto Objeto Objeto e' uma instancia de DeadFn Objeto Organico Objeto e' uma &parte de Objeto Objeto e' uma instancia de Objeto Organico
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5258-5265	Objeto e' igual a OrganicObjectFn Objeto Organico Objeto e' uma sub-classe de Objeto Objeto Organico e' uma sub-classe de Organismo Objeto Organico e' uma sub-classe de Estructura Anatomica
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 841-862	freeFunctionRoomAmenity 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 termina em Agente Cognitivo Objeto e' uma instancia de Fisico AutonomousAgent possui Objeto customer Agente Cognitivo and AutonomousAgent Objeto e' uma instancia de Processo Objeto e' um agente de Agente Cognitivo Agente Cognitivo experimenta Objeto AutonomousAgent possui Objeto Objeto e' uma instancia de Objeto Agente Cognitivo usa Objeto price Objeto, 0 UnitedStatesDollar(s) and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 546-561	freePropertyAmenity AutonomousAgent and Fisico Processo e' uma instancia de Fisico customer Agente Cognitivo and AutonomousAgent Processo e' uma instancia de Processo Processo e' um agente de Agente Cognitivo Agente Cognitivo experimenta Processo AutonomousAgent possui Processo Processo e' uma instancia de Objeto Agente Cognitivo usa Processo price Processo, 0 UnitedStatesDollar(s) and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	freeRoomAmenity HotelUnit and Fisico Fisico e' uma sub-classe de Objeto TemporaryResidence e' uma instancia de HotelUnit stays Humano and TemporaryResidence TemporaryResidence e' um elemento de propriedade de AutonomousAgent Objeto e' uma instancia de Fisico Objeto e' situado em TemporaryResidence Processo e' uma instancia de Processo Processo e' um agente de Humano Objeto e' um patient de Processo Objeto e' um instrumento para Processo Objeto e' um recurso para Processo price Objeto, 0 UnitedStatesDollar(s) and Humano
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.	Hotel.kif 294-313	guest Humano and AutonomousAgent stays Humano and TemporaryResidence TemporaryResidence e' um elemento de propriedade de AutonomousAgent TemporaryResidence e' uma instancia de TemporaryResidenceOOM roomAmenity TemporaryResidenceOOM and Fisico Fisico e' uma sub-classe de Objeto Fisico Fisico e' uma instancia de Fisico Fisico e' situado em TemporaryResidence AutonomousAgent autoriza Humano a executar tarefas de tipo Entidade Entidade e' um agente de Humano Fisico e' um instrumento para Entidade Fisico e' um patient de Entidade Fisico e' um recurso para Entidade
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1326-1342	Intervalo Temporal e' uma instancia de AddToCart Entidade e' uma instancia de Objeto Entidade e' um patient de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Colecao WebSite, Posicao Temporal and Intervalo Temporal Colecao e' uma instancia de Colecao WebSite e' uma instancia de WebSite Intervalo Temporal e' uma instancia de Intervalo Temporal webcart AutonomousAgent, Colecao and WebSite o comeco de Intervalo Temporal e' igual a o fim de Intervalo Temporal Entidade e' membro de Colecao vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1312-1324	Processo e' uma instancia de AddToCart Agente Cognitivo e' uma instancia de AutonomousAgent Entidade e' uma instancia de Objeto Processo e' um agente de Agente Cognitivo Entidade e' um patient de Processo Agente Cognitivo deseja Entidade Entidade e' uma instancia de Comprar Entidade e' um patient de Entidade Entidade e' um agente de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 354-365	Processo e' uma instancia de Auctioning AutonomousAgent e' uma instancia de AutonomousAgent AutonomousAgent e' uma instancia de AutonomousAgent Objeto e' uma instancia de Objeto Unidade de Medida e' uma instancia de UnitOfCurrency Objeto e' um patient de Processo bidPrice Objeto, Numero Real Unidade de Medida(s) and AutonomousAgent bidPrice Objeto, Numero Real Unidade de Medida(s) and AutonomousAgent Numero Real e' maior que Numero Real Processo termina em AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 343-352	Processo e' uma instancia de Auctioning Objeto e' uma instancia de Objeto Objeto e' um patient de Processo AutonomousAgent Medida de Divisa AutonomousAgent e' uma instancia de AutonomousAgent Medida de Divisa e' uma instancia de Medida de Divisa bidPrice Objeto, Medida de Divisa and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22070-22077	Objeto e' uma instancia de Blade Processo e' uma instancia de Cortar Objeto e' uma instancia de Objeto Objeto e' um instrumento para Processo Objeto e' um patient de Processo Objeto encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Food.kif 468-478	Comida e' uma instancia de Objeto roastedToTemperature Comida and Numero Real Processo Processo e' uma instancia de Aquecer Comida e' um patient de Processo a medida de Comida e' Numero Real CelsiusDegree(s) vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3239-3259	Colecao e' uma instancia de Colecao Numero Real e' uma instancia de Medida de Divisa Numero Inteiro e' uma instancia de Numero Real Numero Real e' igual a GMBFn Colecao Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica ABPFn Colecao e' igual a Numero Real + Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Food.kif 980-992	Processo e' uma instancia de Crushing Entidade e' um patient de Processo Entidade e' uma instancia de Objeto Processo Processo Processo e' uma instancia de Breaking Processo causa Processo Processo e' um sub-processo de Processo Processo e' uma instancia de Mudanca de Forma Entidade e' um patient de Processo Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 994-1003	Processo e' uma instancia de Crushing Entidade e' um patient de Processo Entidade e' uma instancia de Objeto Processo Processo e' o resultado de Processo Processo e' uma instancia de Mudanca de Forma Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7650-7655	Objeto e' uma instancia de Objeto shape Objeto and Circle GeometricPoint CenterOfCircleFn Objeto e' igual a GeometricPoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7643-7648	Objeto e' uma instancia de Objeto shape Objeto and Circle Medida de Comprimento o radio de Objeto e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 145-160	Colecao e' uma instancia de WebListingCategory Fisico e' uma instancia de WebListing Fisico e' uma instancia de WebListing Processo e' uma instancia de Objeto Processo e' uma instancia de Objeto Fisico e' membro de Colecao Fisico e' membro de Colecao Fisico e' um patient de Processo Fisico e' um patient de Processo Classe Classe e' uma instancia de Classe Processo e' uma instancia de Classe Processo e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 373-379	Entidade e' uma instancia de Objeto Objeto e' uma instancia de WebListing ForSaleByOwner e' um atributo de Objeto Entidade e' um patient de Objeto Entidade e' uma instancia de Vehicle
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 381-388	Objeto e' uma instancia de Objeto Objeto e' uma instancia de WebListing AutonomousAgent e' uma instancia de AutonomousAgent ForSaleByOwner e' um atributo de Objeto AutonomousAgent possui Objeto AutonomousAgent e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6000-6011	AutonomousAgent e' uma instancia de Lathe Entidade e' uma instancia de Objeto AutonomousAgent e' um instrumento para Processo Entidade e' um patient de Processo Processo Processo e' uma instancia de Rotating Processo e' um sub-processo de Processo Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent

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.	Mid-level-ontology.kif 25379-25383	Atributo e' um atributo de Objeto Atributo e' uma instancia de SizeAttribute Objeto e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1478-1491	DutyFree e' um atributo de Objeto Objeto e' uma instancia de Store Area Geopolitica Entidade, Objeto and Processo Area Geopolitica e' uma instancia de Area Geopolitica Objeto e' situado em Area Geopolitica Objeto e' uma sub-classe de Objeto importCommodityType Area Geopolitica and Objeto Entidade e' uma instancia de Objeto Processo e' uma instancia de Vender Entidade e' um patient de Processo Processo e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 26-47	DislocatedCivilian e' um atributo de Entidade Entidade vive em Entidade Entidade e' situado em Area Geografica vale durante Intervalo Temporal Area Geografica e' uma instancia de Area Geografica Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal Entidade-PLACE and Entidade-RES Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal acontence antes de Intervalo Temporal Entidade-RES e' uma instancia de Objeto Entidade-PLACE e' uma instancia de Area Geopolitica Entidade-RES e' situado em Entidade-PLACE Area Geografica e' igual a Entidade-PLACE Entidade e' igual a Entidade-RES geographicSubregion Area Geografica and Entidade-PLACE geographicSubregion Entidade-PLACE and Area Geografica Entidade vive em Entidade-RES vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11781-11796	Processo e' uma instancia de Choking AutonomousAgent experimenta Processo Entidade Objeto and Objeto Entidade e' uma instancia de Objeto Objeto e' uma instancia de Trachea Objeto e' uma instancia de Lung Objeto e' uma &parte de AutonomousAgent Objeto e' uma &parte de AutonomousAgent Entidade e' situado em Objeto Entidade e' situado em Objeto vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6050-6069	Processo e' uma instancia de Coughing AutonomousAgent experimenta Processo Processo tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Lung Entidade e' uma instancia de Throat Entidade e' uma instancia de Objeto Entidade e' uma instancia de Remover Entidade e' uma &parte de AutonomousAgent Entidade e' uma &parte de AutonomousAgent objectTransferred Entidade and Entidade Entidade e' situado em Entidade Entidade e' situado em Entidade vale durante imediatemente antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6116-6134	Processo e' uma instancia de Sneezing AutonomousAgent experimenta Processo Processo tem por fim Entidade Entidade, EntidadeOSE and Entidade Entidade e' uma instancia de NasalCavity EntidadeOSE e' uma instancia de Nose EntidadeOSE e' igual a o dono do buraco Entidade Entidade e' uma instancia de Objeto Entidade e' uma instancia de Remover EntidadeOSE e' uma &parte de AutonomousAgent objectTransferred Entidade and Entidade Entidade e' situado em Entidade vale durante imediatemente antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	naics.kif 7953-7978	Colecao e' uma instancia de Organizacao AirTransportationIndustry e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo AutonomousAgent e' uma instancia de Vender Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Agente CognitivoLANE and Entidade Entidade e' uma instancia de Transporte Agente Cognitivo e' um patient de Entidade Agente Cognitivo possui Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Objeto Colecao possui Agente CognitivoLANE Agente CognitivoLANE e' uma instancia de Aircraft
No TPTP formula. May not be expressible in strict first order.	naics.kif 7242-7257	Colecao e' uma instancia de Organizacao BuildingMaterialAndGardenEquipmentAndSuppliesDealers e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Objeto AutonomousAgent e' uma instancia de Vender Objeto e' uma instancia de Objeto Objeto e' capaz de fazer Construcao no role resource Objeto e' capaz de fazer Agriculture no role resource Objeto e' um patient de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8736-8756	Colecao e' uma instancia de Organizacao CouriersAndMessengers e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo Entidade AutonomousAgent e' uma instancia de Vender Entidade e' uma instancia de Objeto Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade e' uma instancia de Transporte Agente Cognitivo possui Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	naics.kif 7702-7716	Colecao e' uma instancia de Organizacao GeneralMerchandiseStores e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade Entidade AutonomousAgent e' uma instancia de Vender Entidade e' uma instancia de Humano Entidade e' uma instancia de Objeto AutonomousAgent termina em Entidade Entidade e' um patient de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 6153-6169	Colecao e' uma instancia de Organizacao MiscellaneousManufacturing e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade Processo2 and AutonomousAgent2 AutonomousAgent e' uma instancia de Manufatura Entidade e' uma instancia de Objeto Entidade e' um patient de AutonomousAgent Processo2 e' membro de Colecao AutonomousAgent2 e' uma instancia de Vender AutonomousAgent2 e' um agente de Processo2 Entidade e' um patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 7752-7765	Colecao e' uma instancia de Organizacao MiscellaneousStoreRetailers e' um atributo de Colecao Processo Fisico, Entidade, Objeto and AutonomousAgent Fisico e' membro de Colecao Processo e' um agente de AutonomousAgent Processo e' uma instancia de Vender AutonomousAgent e' uma instancia de Humano Objeto e' uma instancia de RetailStore eventLocated Processo and Objeto Entidade e' uma instancia de Objeto Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	naics.kif 7877-7893	Colecao e' uma instancia de Organizacao NonstoreRetailers e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade Entidade AutonomousAgent e' uma instancia de Vender Entidade e' uma instancia de Humano Entidade e' uma instancia de Objeto eventLocated AutonomousAgent and RetailStore AutonomousAgent termina em Entidade Entidade e' um patient de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8707-8727	Colecao e' uma instancia de Organizacao PostalService e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo Entidade AutonomousAgent e' uma instancia de Vender Entidade e' uma instancia de Objeto Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade e' uma instancia de Transporte Agente Cognitivo possui Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	naics.kif 8034-8059	Colecao e' uma instancia de Organizacao RailTransportation e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo AutonomousAgent e' uma instancia de Vender Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade and Entidade Entidade e' uma instancia de Transporte Agente Cognitivo e' um patient de Entidade Agente Cognitivo possui Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Objeto Colecao possui Entidade Entidade e' uma instancia de RailVehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 7600-7618	Colecao e' uma instancia de Organizacao SportingGoodsHobbyBookAndMusicStores e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Objeto AutonomousAgent e' uma instancia de Vender Objeto e' uma instancia de Objeto Objeto e' capaz de fazer Esporte no role instrument Objeto e' capaz de fazer MakingMusic no role instrument Objeto e' uma instancia de Livro Objeto e' uma instancia de MusicRecording Objeto e' uma instancia de MusicText Objeto e' um patient de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8253-8275	Colecao e' uma instancia de Organizacao TruckTransportation e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo AutonomousAgent e' uma instancia de Vender Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade and Entidade Entidade e' uma instancia de Transporte Agente Cognitivo possui Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Objeto Colecao possui Entidade Entidade e' uma instancia de LandVehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8776-8797	Colecao e' uma instancia de Organizacao WarehousingAndStorage e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo Entidade AutonomousAgent e' uma instancia de Vender Entidade e' uma instancia de Objeto Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade Entidade e' uma instancia de Intervalo Temporal Entidade e' uma instancia de Predio Agente Cognitivo possui Entidade Entidade e' situado em Entidade vale durante Entidade
No TPTP formula. May not be expressible in strict first order.	naics.kif 8080-8105	Colecao e' uma instancia de Organizacao WaterTransportationIndustry e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo AutonomousAgent e' uma instancia de Vender Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade and Entidade Entidade e' uma instancia de Transporte Agente Cognitivo e' um patient de Entidade Agente Cognitivo possui Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Objeto Colecao possui Entidade Entidade e' uma instancia de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 6375-6391	Colecao e' uma instancia de Organizacao WholesaleTrade e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade Processo2 and AutonomousAgent2 AutonomousAgent e' uma instancia de Vender Entidade e' uma instancia de Objeto Entidade e' um patient de AutonomousAgent Processo2 e' membro de Colecao AutonomousAgent2 e' uma instancia de Vender AutonomousAgent2 e' um agente de Processo2 Entidade e' um patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2065-2076	Objeto Corpuscular e' uma instancia de ViewItemPage WebSite e' uma instancia de WebSite Objeto Corpuscular e' um componente de WebSite Entidade WebListing Entidade e' uma instancia de Objeto WebListing e' uma instancia de WebListing WebListing e' um componente de Objeto Corpuscular hostedOn WebListing and WebSite Entidade e' um patient de WebListing
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1883-1900	Processo e' uma instancia de Repayment Processo_DESTINATION e' uma instancia de Objeto Processo termina em Processo_DESTINATION Processo_ORIGIN e' uma instancia de Objeto Processo tem como origem Processo_ORIGIN Processo Processo_ORIGIN and Processo_DESTINATION Processo e' uma instancia de Payment Processo_ORIGIN e' uma instancia de Objeto Processo_DESTINATION e' uma instancia de Objeto Processo e' igual a Processo Processo termina em Processo_DESTINATION Processo tem como origem Processo_ORIGIN Processo_ORIGIN e' igual a Processo_DESTINATION Processo_DESTINATION e' igual a Processo_ORIGIN
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13030-13043	Processo e' uma instancia de Searching Fisico e' um patient de Processo Fisico e' uma instancia de Fisico Objeto AutonomousAgent AutonomousAgent e' uma instancia de Agente Cognitivo Processo e' um agente de AutonomousAgent Objeto e' uma instancia de Objeto Fisico e' situado em Objeto Processo tem finalidade AutonomousAgent sabe Fisico e' situado em Objeto para AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21174-21204	Proposicao e' uma instancia de Argument Processo e' uma instancia de Raciocinar Proposicao e' uma instancia de Archeology Proposicao e' uma &sub-proposicao de Proposicao Processo exprime o conteudo de Proposicao Processo Entidade, Fisico, Numero Real, Entidade and Entidade Processo e' uma instancia de Discovering Fisico e' uma instancia de Objeto Fisico e' um patient de Processo Processo inclui uma referencia a Processo tempo de existencia de Processo acontence antes de tempo de existencia de Processo a idade de Fisico e' Numero Real YearDuration(s) Numero Real e' maior que 50 Entidade e' uma superficie de Entidade Entidade e' uma instancia de BodyOfWater Fisico e' Below em relacao a Entidade Entidade e' uma superficie de Entidade Entidade e' uma instancia de Area terrestre Fisico e' Below em relacao a Entidade vale durante imediatemente antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 368-376	Objeto e' uma instancia de Regiao Vacuum e' um atributo de Objeto Fisico Fisico e' uma instancia de Objeto Fisico e' situado em Objeto

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: