TreeView Knowledge Base Browser

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5405-5409	Entidade e' um elemento de Conjunto Entidade e' um elemento de Conjunto Conjunto e' um sub-conjunto de Conjunto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5993-6006	O valor de Caminho do Grafo e' igual a Numero Real Arco do Grafo e' uma &parte de Caminho do Grafo Arco do Grafo e' uma &parte de Caminho do Grafo o valor de Arco do Grafo e' Numero Real o valor de Arco do Grafo e' Numero Real Elemento do Grafo Elemento do Grafo e' uma &parte de Caminho do Grafo Elemento do Grafo e' igual a Arco do Grafo Elemento do Grafo e' igual a Arco do Grafo o valor de Caminho do Grafo e' igual a ( Numero Real + Numero Real)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5979-5991	O valor de Caminho do Grafo e' igual a Numero Real Caminho do Grafo e' um sub-grafo de Caminho do Grafo Arco do Grafo e' uma &parte de Caminho do Grafo o valor de Arco do Grafo e' Numero Real Elemento do Grafo Elemento do Grafo e' uma &parte de Caminho do Grafo Elemento do Grafo e' uma &parte de Caminho do Grafo Elemento do Grafo e' igual a Arco do Grafo Numero Real e' igual a (o valor de Caminho do Grafo + Numero Real)
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3202-3215	Colecao e' uma instancia de Colecao Fisico Fisico e' membro de Colecao Fisico e' uma instancia de Auctioning Sequencia Simbolica Entidade_PURCHASE_AMOUNT total a classe descrita por Sequencia Simbolica and Entidade_PURCHASE_AMOUNT AuctionGMBFn Colecao e' igual a Entidade_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2887-2903	Colecao e' uma instancia de Colecao Fisico Fisico e' membro de Colecao Fisico e' uma instancia de Transacao Financeira Sequencia Simbolica Entidade o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' igual a BoughtItemsFn Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2845-2870	Colecao e' uma instancia de Colecao Fisico Fisico e' membro de Colecao Fisico e' uma instancia de WebListing o numero de instancias dentro de Entidade Entidade and Entidade a classe descrita por Entidade + o numero de instancias dentro de Colecao e' igual a BidCountFn Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2922-2940	Colecao e' uma instancia de Colecao Fisico Fisico e' membro de Colecao Fisico e' uma instancia de WebListing Sequencia Simbolica Entidade, Entidade and Sequencia Simbolica o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' igual a BidCountFn Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1033-1060	Colecao e' uma instancia de Colecao WebSite e' uma instancia de WebSite AutonomousAgent e' uma instancia de AutonomousAgent WebListing e' uma instancia de WebListing Ponto no tempo e' uma instancia de Ponto no tempo listingSeller WebListing and AutonomousAgent WebListing e' membro de Colecao Fisico Fisico Fisico e' uma instancia de WebListing Fisico e' membro de SellersItemsFn AutonomousAgent and WebSite Ponto no tempo e' uma &parte de tempo de existencia de Fisico Fisico e' igual a WebListing Fisico e' membro de Colecao Fisico e' membro de Colecao Ponto no tempo e' uma &parte de tempo de existencia de Fisico Fisico e' uma instancia de WebListing SellersOtherItemsFn AutonomousAgent, WebSite, WebListing and Ponto no tempo e' igual a Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2956-2983	Colecao e' uma instancia de Colecao Fisico Fisico e' membro de Colecao Fisico e' uma instancia de Comprar Objeto Objeto e' uma instancia de Area Geopolitica AutonomousAgent Processo AutonomousAgent e' uma instancia de AutonomousAgent Processo e' uma instancia de Comprar Processo e' membro de Colecao Processo e' um agente de AutonomousAgent AutonomousAgent e' situado em Objeto Sequencia Simbolica Entidade and Entidade_PURCHASE_AMOUNT total a classe descrita por Sequencia Simbolica and Entidade_PURCHASE_AMOUNT GMBFn Colecao e' igual a Entidade_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2999-3026	Colecao e' uma instancia de Colecao Fisico Fisico e' membro de Colecao Fisico e' uma instancia de Vender Objeto Objeto e' uma instancia de Area Geopolitica AutonomousAgent Processo AutonomousAgent e' uma instancia de AutonomousAgent Processo e' uma instancia de Comprar Processo e' membro de Colecao Processo e' um agente de AutonomousAgent AutonomousAgent e' situado em Objeto Sequencia Simbolica Entidade and Entidade_SALE_AMOUNT total a classe descrita por Sequencia Simbolica and Entidade_SALE_AMOUNT GMVFn Colecao e' igual a Entidade_SALE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7350-7364	Objeto e' uma instancia de AuditoriumSeat Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Auditorium Objeto e' uma instancia de PerformanceStage Objeto e' situado em Objeto Objeto e' uma instancia de Humano Processo e' uma sub-classe de Visao Processo Processo e' uma instancia de Processo Objeto e' um patient de Processo Objeto e' capaz de fazer Processo no role agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4241-4267	Humano e' uma instancia de Humano Colecao e' uma instancia de Colecao Experimenting Fisico Processo Experimenting e' uma instancia de Experimenting Fisico e' uma instancia de Processo Fisico e' membro de QualifyingEventsFn Experimenting Fisico e' uma instancia de Processo Humano e' capaz de fazer Processo no role experiencer Fisico e' membro de Colecao Fisico e' membro de Colecao Fisico e' uma instancia de Processo Experimenting FisicoESS Experimenting e' uma instancia de Experimenting Fisico e' membro de QualifyingEventsFn Experimenting Fisico e' uma instancia de FisicoESS Humano e' capaz de fazer FisicoESS no role experiencer QualifiedTreatmentsFn Humano e' igual a Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4175-4190	Humano e' uma instancia de Humano Colecao e' uma instancia de Colecao WebPage Processo and Experimenting WebPage e' uma instancia de WebPage Processo e' uma instancia de AccessingWebPage Experimenting e' uma instancia de Experimenting Processo e' um agente de Humano WebPage e' um patient de Processo treatedPage WebPage and Experimenting Processo e' membro de Colecao Colecao e' igual a QPViewsFn Humano
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3668-3704	Colecao e' uma instancia de Colecao Colecao e' uma instancia de Colecao Colecao e' uma sub-colecao de Colecao Fisico Fisico e' membro de Colecao Fisico e' uma instancia de AccessingWebPage Processo AutonomousAgent, Processo, Processo and Objeto AutonomousAgent e' uma instancia de Humano Processo e' uma instancia de Comprar Processo e' uma instancia de AccessingWebPage Objeto e' uma instancia de WebPage Processo e' membro de Colecao Processo termina em Objeto Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent tempo de existencia de Processo acontece durante tempo de existencia de Processo Objeto e' um instrumento para Processo Processo e' membro de Colecao Intervalo Temporal Entidade_IN_INTERVAL and Entidade_IN_INTERVAL SCRFn Colecao and Intervalo Temporal e' igual a o numero de instancias dentro de a classe descrita por Entidade_IN_INTERVAL + o numero de instancias dentro de a classe descrita por Entidade_IN_INTERVAL

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	Ano e' uma instancia de o ano AnoEAR MaleLifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM ListaITEM e' um membro de Lista ListaITEM e' uma instancia de Sequencia Simbolica Entidade Entidade e' uma instancia de Sequencia Simbolica Entidade e' um membro de Lista Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica average Lista and Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	Ano e' uma instancia de o ano Numero Inteiro FemaleLifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM ListaITEM e' um membro de Lista ListaITEM e' uma instancia de Sequencia Simbolica Entidade Entidade e' uma instancia de Sequencia Simbolica Entidade e' um membro de Lista Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica average Lista and Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	Ano e' uma instancia de o ano Numero Inteiro LifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM ListaITEM e' um membro de Lista ListaITEM e' uma instancia de Sequencia Simbolica Entidade Entidade e' uma instancia de Sequencia Simbolica Entidade e' um membro de Lista Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica average Lista and Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 272-293	average Lista and Numero Real Lista Inteiro positivo comprimento de Lista e' igual a comprimento de Lista 1th elemento de Lista e' igual a 1th elemento de Lista Inteiro positivo Inteiro positivo e' um membro de Lista Numero Real Numero RealMINUSONE, Inteiro positivo and Inteiro positivo Numero Real e' maior que 1 Numero Real e' menor ou igual a comprimento de Lista Inteiro positivoth elemento de Lista e' igual a Numero Real Inteiro positivo e' um membro de Lista Numero Real e' igual a Inteiro positivoth elemento de Lista Inteiro positivo e' um membro de Lista Numero RealMINUSONE e' igual a ( Numero Real + 1) Numero RealMINUSONE e' igual a Inteiro positivoth elemento de Lista Inteiro positivo e' igual a ( Inteiro positivo + Inteiro positivo) Inteiro positivo e' igual a comprimento de Lista Numero Real e' igual a Inteiro positivoth elemento de Lista + Inteiro positivo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7780-7788	Objeto e' maior do que Objeto Numero Real Numero Real and Unidade de Medida a medida de Objeto e' Numero Real Unidade de Medida(s) a medida de Objeto e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfLength Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1297-1302	Colecao e' uma sub-colecao de Colecao Fisico Fisico e' membro de Colecao Fisico e' membro de Colecao
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 171-176	allRoomsPhysicalAmenity RoomInventory and Fisico HotelUnit memberType RoomInventory and HotelUnit roomAmenity HotelUnit and Fisico
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 233-238	allRoomsPolicy RoomInventory and Policy HotelUnit memberType RoomInventory and HotelUnit roomPolicy HotelUnit and Policy
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 218-223	allRoomsServiceAmenity RoomInventory and Fisico HotelUnit memberType RoomInventory and HotelUnit roomAmenity HotelUnit and Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4989-4997	Atributo e' um atributo de Objeto Atributo e' uma instancia de Sphere GeometricPoint Medida de Comprimento GeometricPoint GeometricPoint e' um ponto de Objeto geometricDistance GeometricPoint, GeometricPoint and Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17710-17719	Monochromatic e' um atributo de Objeto Objeto e' uma parte superficial de Objeto Atributo e' um atributo de Objeto Atributo e' uma instancia de Cor Primaria Objeto Objeto e' uma parte superficial de Objeto Atributo e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Government.kif 1132-1152	Humano e' um cidadao de Nacao UniversalSuffrageLaw e' uma &sub-proposicao de RegionalLawFn Nacao RegionalLawFn Nacao autoriza Humano a executar tarefas de tipo Entidade Entidade and Entidade Humano e' um cidadao de Nacao suffrageAgeMinimum Nacao and Entidade YearDuration(s) a idade de Humano e' Entidade YearDuration(s) Entidade e' maior ou igual a Entidade Entidade e' uma instancia de ElectionFn Nacao Entidade Entidade e' uma instancia de VotingFn Entidade Entidade e' um agente de Humano
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 147-154	Colecao e' um elemento de propriedade de AutonomousAgent Colecao e' uma instancia de RoomInventory Fisico Fisico e' membro de Colecao Fisico e' um elemento de propriedade de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4861-4872	O maior divisor comum de @ROW e' igual a Numero Inteiro Numero Inteiro e' igual a 0 Numero Inteiro Numero Inteiro e' um membro de (@ROW) Numero Inteiro mod Numero Inteiro e' igual a 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4874-4888	O maior divisor comum de @ROW e' igual a Numero Inteiro Numero Inteiro e' igual a 0 Numero Inteiro Numero Inteiro e' maior que Numero Inteiro Numero Inteiro Numero Inteiro e' um membro de (@ROW) Numero Inteiro mod Numero Inteiro e' igual a 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4946-4956	O minimo multiplo comum de numero, de inteiro @ROW e' igual a Numero Inteiro Numero Inteiro e' igual a 0 Numero Inteiro Numero Inteiro e' um membro de (@ROW) Numero Inteiro mod Numero Inteiro e' igual a 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4958-4972	O minimo multiplo comum de numero, de inteiro @ROW e' igual a Numero Inteiro Numero Inteiro e' igual a 0 Numero Inteiro Numero Inteiro e' menos que Numero Inteiro Numero Inteiro Numero Inteiro e' um membro de (@ROW) Numero Inteiro mod Numero Inteiro e' igual a 0
No TPTP formula. May not be expressible in strict first order.	Music.kif 936-946	DataStorageDevice e' igual a AlbumCopiesFn Album and DataStorageDeviceS DataStorageDevice e' uma instancia de DataStorageDevice Objeto Objeto e' um membro de Album Objeto Representendo Conteudo Abstrato Objeto Representendo Conteudo Abstrato e' uma copia exata de Objeto stored Objeto Representendo Conteudo Abstrato and DataStorageDevice
No TPTP formula. May not be expressible in strict first order.	Media.kif 2137-2150	exactCardinality Relacao, Inteiro positivo and Numero Inteiro Relacao e' uma instancia de Predicado Classe Entidade and @ARGS Classe e' uma instancia de Conjunto ou Classe Relacao @ARGS Entidade e' igual a Inteiro positivoth elemento de (@ARGS) Entidade e' uma instancia de Classe o numero de instancias dentro de Classe e' igual a Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9916-9923	Buraco e' um buraco dans Objeto auto-conectado Buraco e' um buraco dans Objeto auto-conectado Buraco Buraco e' uma &parte de a uniao das partes de Buraco e Buraco Buraco e' um buraco dans Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 992-1008	AutonomousAgent e' uma instancia de AutonomousAgent WebSite e' uma instancia de WebSite Colecao Colecao e' uma instancia de Colecao WebListing WebListing e' uma instancia de WebListing hostedOn WebListing and WebSite listingSeller WebListing and AutonomousAgent WebListing e' membro de Colecao SellersItemsFn AutonomousAgent and WebSite e' igual a Colecao
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7142-7162	Objeto e' uma instancia de Crystal MonoCrystalline e' um atributo de Objeto Objeto auto-conectado e' uma instancia de Substancia Solid e' um atributo de Objeto auto-conectado PolyCrystalline e' um atributo de Objeto auto-conectado Objeto auto-conectado e' uma instancia de Substancia Objeto auto-conectado e' uma superficie de Objeto auto-conectado Objeto e' uma &parte de Objeto auto-conectado ObjetoLNT Numero Inteiro and Objeto ObjetoLNT e' uma instancia de Colecao memberCount ObjetoLNT and Numero Inteiro Numero Inteiro e' maior ou igual a 4 Objeto e' membro de ObjetoLNT Objeto e' uma &parte de Objeto auto-conectado Objeto encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12929-12940	Objeto e' uma instancia de Chin Objeto e' uma instancia de Face Objeto e' uma &parte de Objeto Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' Below em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10244-10259	Processo e' uma instancia de Morte AutonomousAgent e' uma instancia de Organismo AutonomousAgent experimenta Processo Entidade Entidade Entidade e' o resultado de Processo Entidade e' uma instancia de Objeto Organico Dead e' um atributo de Entidade vale durante apos tempo de existencia de Processo Entidade e' uma &parte de Entidade vale durante imediatemente apos tempo de existencia de Processo Entidade e' uma &parte de AutonomousAgent vale durante imediatemente antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 1012-1026	Processo e' uma instancia de Grinding Entidade e' um patient de Processo Entidade e' uma instancia de Objeto Corpuscular Entidade Entidade e' o resultado de Processo Entidade e' uma instancia de Colecao Entidade Entidade e' membro de Entidade Entidade e' uma &parte de Entidade vale durante o fim de tempo de existencia de Processo

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	Government.kif 1241-1248	?AGENT ?VOTER, ?ELECTION and ?VOTING ?ELECTION e' uma instancia de ElectionFn ?AGENT ?VOTING e' uma instancia de VotingFn ?ELECTION ?VOTING e' um agente de ?VOTER Male e' um atributo de ?VOTER contem informacao ExclusiveMaleSuffrage
No TPTP formula. May not be expressible in strict first order.	Government.kif 923-931	?COUNTRY ?ELECTION, ?VOTING and ?VOTER ?COUNTRY e' uma instancia de Nacao ?ELECTION e' uma instancia de ElectionFn ?COUNTRY ?VOTING e' uma instancia de VotingFn ?ELECTION ?VOTING e' um agente de ?VOTER ?VOTER e' um cidadao de ?COUNTRY contem informacao VoterCitizenshipRequirement
No TPTP formula. May not be expressible in strict first order.	Government.kif 1092-1103	?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE ?AGENT e' um cidadao de ?POLITY suffrageAgeMinimum ?POLITY and ?VOTINGAGE YearDuration(s) a idade de ?AGENT e' ?AGE YearDuration(s) ?AGE e' maior ou igual a ?VOTINGAGE ?ELECTION e' uma instancia de ElectionFn ?POLITY ?AGENT e' capaz de fazer VotingFn ?ELECTION no role agent contem informacao UniversalSuffrageLaw
No TPTP formula. May not be expressible in strict first order.	Government.kif 1160-1174	?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE ?VOTER e' um cidadao de ?POLITY suffrageAgeMinimum ?POLITY and ?VOTINGAGE YearDuration(s) a idade de ?VOTER e' ?AGE YearDuration(s) ?AGE e' maior ou igual a ?VOTINGAGE ?ELECTION e' uma instancia de ElectionFn ?POLITY ?VOTING ?VOTING e' uma instancia de VotingFn ?ELECTION ?VOTING e' um agente de ?VOTER contem informacao CompulsorySuffrageLaw
No TPTP formula. May not be expressible in strict first order.	Media.kif 1970-1978	Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal termina em tempo de existencia de JesusOfNazareth Intervalo Temporal comeca em tempo de existencia de TwelveApostles Entidade Entidade e' membro de TwelveApostles vale durante Intervalo Temporal friend Entidade and JesusOfNazareth vale durante Intervalo Temporal

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5421-5425	Entidade e' um elemento de Conjunto Entidade e' um elemento de Conjunto Conjunto e' igual a Conjunto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5405-5409	Entidade e' um elemento de Conjunto Entidade e' um elemento de Conjunto Conjunto e' um sub-conjunto de Conjunto
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2768-2770	accommodationProvider HotelPackage and Organizacao TravelerAccommodation e' um atributo de Organizacao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 632-640	accountAtSite UserAccount and WebSite Objeto WebSite_OWNER Objeto e' uma instancia de Database WebSite_OWNER e' uma instancia de AutonomousAgent WebSite_OWNER possui WebSite WebSite_OWNER possui Objeto UserAccount e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20751-20757	actedIn Humano and ContentBearingPhysical Processo Processo e' uma instancia de DramaticActing Humano e' um patient de Processo ContentBearingPhysical e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 599-604	activityCapability AutonomousAgent and Processo Objeto Objeto e' um elemento de propriedade de AutonomousAgent Objeto e' capaz de fazer Processo no role located
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 939-944	adjacentOrientation Objeto and Classe Objeto Objeto e' uma instancia de Classe Objeto e' Adjacent em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 193-199	advertisedOn Objeto and WebSite WebListing WebListing e' uma instancia de Promover hostedOn WebListing and WebSite Objeto e' um patient de WebListing
No TPTP formula. May not be expressible in strict first order.	Government.kif 706-713	agreementAdoptionDate Proposicao and Posicao Temporal Processo Posicao Temporal Processo e' uma instancia de Comprometer-se Posicao Temporal e' uma instancia de Posicao Temporal Proposicao e' um patient de Processo Processo existe durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14071-14076	agreementClause Proposicao, Atributo Deontico, Agreement and Agente Cognitivo ContentBearingPhysical ContentBearingPhysical contem informacao Proposicao partyToAgreement Agente Cognitivo and Agreement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14099-14105	agreementClause Proposicao, Permission, Agreement and Agente Cognitivo Agente Cognitivo tem o direito de executar Entidade Entidade exprime o conteudo de Proposicao Entidade e' um agente de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14090-14097	agreementClause Proposicao, Prohibition, Agreement and Agente Cognitivo Agente Cognitivo nao %n o direito de executar Entidade Entidade exprime o conteudo de Proposicao Entidade e' um agente de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14054-14057	agreementExpirationDate Agreement and Ponto no tempo Agreement tem um atributo de ActiveAgreement vale durante apos Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Government.kif 738-753	agreementRevisionDate Proposicao, Posicao Temporal and Proposicao Posicao Temporal Posicao Temporal e' uma instancia de Posicao Temporal Proposicao e' uma &sub-proposicao de Proposicao vale durante imediatemente antes de Posicao Temporal Proposicao e' uma &sub-proposicao de Proposicao vale durante imediatemente apos Posicao Temporal Proposicao e' uma &sub-proposicao de Proposicao vale durante imediatemente antes de Posicao Temporal Proposicao e' uma &sub-proposicao de Proposicao vale durante imediatemente apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Music.kif 280-287	albumArtist Album and Agente Cognitivo Objeto Representendo Conteudo Abstrato Processo Objeto Representendo Conteudo Abstrato e' uma instancia de Recording Objeto Representendo Conteudo Abstrato e' um membro de Album record Objeto Representendo Conteudo Abstrato and Processo Processo e' um agente de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Music.kif 312-314	albumCoverImage Album and Image Image define Album
No TPTP formula. May not be expressible in strict first order.	Music.kif 261-270	albumRelease Album and Ponto no tempo Area Geografica DataStorageDevice releaseForSale AlbumCopiesFn Album and DataStorageDevice, Area Geografica and Ponto no tempo Ponto no tempo Area Geografica and DataStorageDevice Ponto no tempo comeca antes de Ponto no tempo releaseForSale AlbumCopiesFn Album and DataStorageDevice, Area Geografica and Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 171-176	allRoomsPhysicalAmenity RoomInventory and Fisico HotelUnit memberType RoomInventory and HotelUnit roomAmenity HotelUnit and Fisico
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 233-238	allRoomsPolicy RoomInventory and Policy HotelUnit memberType RoomInventory and HotelUnit roomPolicy HotelUnit and Policy
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 218-223	allRoomsServiceAmenity RoomInventory and Fisico HotelUnit memberType RoomInventory and HotelUnit roomAmenity HotelUnit and Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16851-16860	almaMater Humano and PostSecondarySchool Processo Processo e' uma instancia de Processo Educacional Processo termina em Humano eventLocated Processo and PostSecondarySchool Student e' um atributo de Humano vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7740-7745	A altitude de Objeto auto-conectado e' Fisico Objeto auto-conectado o topo de Objeto auto-conectado e' Objeto auto-conectado a distancia entre Objeto auto-conectado e Fisico e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7736-7738	A altitude de Objeto e' Objeto Objeto e' Above em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7717-7719	A altitude de Fisico e' Fisico a distancia entre Fisico e Fisico e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23251-23257	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

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: