No TPTP formula. May not be expressible in strict first order.	People.kif 1528-1539	beliefGroupPercentInRegion BeliefGroup, Numero Real and Area Geografica Colecao Colecao, Fisico, Fisico2, Numero Real1 and Numero Real2 Fisico e' situado em Area Geografica Fisico e' membro de BeliefGroup Fisico e' membro de Colecao memberCount Colecao and Numero Real1 Fisico2 e' situado em Area Geografica Fisico2 e' membro de Colecao memberCount Colecao and Numero Real2 Numero Real + 100 e' igual a Numero Real1 + Numero Real2
No TPTP formula. May not be expressible in strict first order.	People.kif 1547-1558	ethnicityPercentInRegion Grupo Etnico, Numero Real and Area Geografica Colecao Colecao, Fisico, Fisico2, Numero Real1 and Numero Real2 Fisico e' situado em Area Geografica Fisico e' membro de Grupo Etnico Fisico e' membro de Colecao memberCount Colecao and Numero Real1 Fisico2 e' situado em Area Geografica Fisico2 e' membro de Colecao memberCount Colecao and Numero Real2 Numero Real + 100 e' igual a Numero Real1 + Numero Real2
No TPTP formula. May not be expressible in strict first order.	People.kif 1566-1577	languagePercentInRegion Linguagem, Numero Real and Area Geografica Colecao Colecao, Agente Sentiente, Agente Sentiente2, Numero Real1 and Numero Real2 Agente Sentiente e' situado em Area Geografica Agente Sentiente e' membro de Colecao speaksLanguage Agente Sentiente and Linguagem memberCount Colecao and Numero Real1 Agente Sentiente2 e' situado em Area Geografica Agente Sentiente2 e' membro de Colecao memberCount Colecao and Numero Real2 Numero Real + 100 e' igual a Numero Real1 + Numero Real2
No TPTP formula. May not be expressible in strict first order.	Government.kif 3603-3605	Fisico e' membro de InternationalRedCrossAndRedCrescentMovement Fisico e' membro de InternationalFederationOfRedCrossAndRedCrescentSocieties
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22703-22705	memberAtTime Objeto auto-conectado, Colecao and Posicao Temporal Objeto auto-conectado e' membro de Colecao vale durante Posicao Temporal
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.	Government.kif 1774-1779	MemberFn Organizacao e' um atributo de Objeto Objeto e' uma instancia de AutonomousAgent Organizacao e' uma instancia de Organizacao Objeto e' membro de Organizacao
No TPTP formula. May not be expressible in strict first order.	People.kif 795-799	Atributo e' um atributo de Objeto Atributo e' uma instancia de Christian Objeto e' membro de Christianity
No TPTP formula. May not be expressible in strict first order.	Military.kif 249-253	Atributo e' um atributo de Objeto Atributo e' uma instancia de MilitaryRank Objeto e' membro de MilitaryService
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 10540-10549	Processo e' uma instancia de Processo Organizacional Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Organizacao Colecao Colecao e' uma instancia de Organizacao AutonomousAgent e' membro de Colecao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10562-10571	Processo e' uma instancia de Processo Religioso Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Organizacao Religiosa Colecao AutonomousAgent e' membro de Colecao Colecao e' uma instancia de Organizacao Religiosa
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.	Government.kif 1797-1803	Objeto e' uma instancia de Humano Organizacao e' uma instancia de Organizacao Posicao e' uma instancia de Posicao MemberRoleFn Organizacao and Posicao e' um atributo de Objeto Objeto e' membro de Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 3229-3233	Area Geopolitica e' uma instancia de Nacao currencyType Area Geopolitica and EuroDollar Area Geopolitica e' membro de EuropeanMonetaryUnion
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.	Military.kif 257-264	Atributo e' uma instancia de USMilitaryRank Atributo e' um atributo de Objeto MilitaryOrganization Objeto e' membro de MilitaryOrganization militaryOfArea MilitaryOrganization and UnitedStates
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8387-8400	AutonomousAgent e' uma instancia de CavalryUnit Intervalo Temporal e' uma instancia de Batalha Intervalo Temporal e' um agente de AutonomousAgent AutonomousAgent Entidade and Intervalo Temporal Soldier e' um atributo de AutonomousAgent AutonomousAgent e' membro de AutonomousAgent Intervalo Temporal e' uma instancia de Transporte Intervalo Temporal e' um agente de AutonomousAgent Entidade e' uma instancia de Vehicle Entidade e' um patient de Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal
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.	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.	MilitaryProcesses.kif 2609-2623	Processo e' uma instancia de Evacuation Processo e' um agente de Organizacao AutonomousAgent experimenta Processo Processo ProcessoA Processo e' uma instancia de Classificar Processo e' um sub-processo de Processo AutonomousAgent experimenta Processo ProcessoA e' uma parte da organizacao Organizacao ProcessoA e' membro de Organizacao ProcessoA e' igual a Organizacao Processo e' um agente de ProcessoA
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2627-2643	Processo e' uma instancia de Evacuation Processo e' um agente de Organizacao Processo tem como origem Objeto Processo ProcessoA Processo e' uma instancia de Translocation Processo e' um sub-processo de Processo Processo tem como origem Objeto ProcessoA experimenta Processo Processo e' um agente de ProcessoA ProcessoA e' uma parte da organizacao Organizacao ProcessoA e' membro de Organizacao ProcessoA e' igual a Organizacao
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2591-2605	Processo e' uma instancia de Evacuation AutonomousAgent experimenta Processo Processo e' um agente de Organizacao Processo ProcessoA Processo e' uma instancia de Processo Terapeutico Processo e' um sub-processo de Processo ProcessoA e' uma parte da organizacao Organizacao ProcessoA e' membro de Organizacao ProcessoA e' igual a Organizacao Processo e' um agente de ProcessoA AutonomousAgent experimenta Processo
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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