(=>     (instance ?MEAT Meat)     (forall (?PART)         (=>             (part ?PART ?MEAT)             (exists (?SUBPART ?TIME ?ANIMAL)                 (and                     (part ?SUBPART ?PART)                     (holdsDuring ?TIME                         (and                             (instance ?ANIMAL Animal)                             (part ?SUBPART ?ANIMAL))))))))	Merge.kif 14906-14917	Objeto e' uma instancia de Carne Objeto Objeto e' uma &parte de Objeto Objeto Posicao Temporal and Entidade Objeto e' uma &parte de Objeto Entidade e' uma instancia de Animal Objeto e' uma &parte de Entidade vale durante Posicao Temporal
(=>     (instance ?N BroadcastNetwork)     (exists (?O)         (and             (instance ?O Organization)             (forall (?M)                 (=>                     (member ?M ?N)                     (possesses ?O ?M))))))	Communications.kif 369-377	Colecao e' uma instancia de BroadcastNetwork AutonomousAgent AutonomousAgent e' uma instancia de Organizacao Objeto Objeto e' membro de Colecao AutonomousAgent possui Objeto
(=>     (instance ?N BroadcastNetwork)     (forall (?M)         (=>             (member ?M ?N)             (instance ?M BroadcastingStation))))	Communications.kif 362-367	Colecao e' uma instancia de BroadcastNetwork Fisico Fisico e' membro de Colecao Fisico e' uma instancia de BroadcastingStation
(=>     (instance ?OBJ Object)     (exists (?TIME1 ?TIME2)         (and             (instance ?TIME1 TimePoint)             (instance ?TIME2 TimePoint)             (before ?TIME1 ?TIME2)             (forall (?TIME)                 (=>                     (and                         (beforeOrEqual ?TIME1 ?TIME)                         (beforeOrEqual ?TIME ?TIME2))                     (time ?OBJ ?TIME))))))	Merge.kif 8132-8144	Fisico e' uma instancia de Objeto Ponto no tempo Ponto no tempo Ponto no tempo e' uma instancia de Ponto no tempo Ponto no tempo e' uma instancia de Ponto no tempo Ponto no tempo comeca antes de Ponto no tempo Ponto no tempo Ponto no tempo ocorre antes ou durante Ponto no tempo Ponto no tempo ocorre antes ou durante Ponto no tempo Fisico existe durante Ponto no tempo
(=>     (instance ?ORG Organization)     (exists (?PURP)         (forall (?MEMBER)             (=>                 (member ?MEMBER ?ORG)                 (hasPurpose ?MEMBER ?PURP)))))	Merge.kif 16645-16651	Colecao e' uma instancia de Organizacao Formula Fisico Fisico e' membro de Colecao Fisico tem por fim Formula
(=>     (instance ?ORG UnionOrganization)     (exists (?COLL ?MEMBER)         (=>             (member ?MEMBER ?ORG)             (or                 (and                     (instance ?COLL Corporation)                     (employs ?COLL ?MEMBER))                 (exists (?CORP)                     (and                         (instance ?COLL Industry)                         (member ?CORP ?COLL)                         (employs ?CORP ?MEMBER)))))))	Mid-level-ontology.kif 8543-8556	Colecao e' uma instancia de UnionOrganization AutonomousAgent Agente Cognitivo Agente Cognitivo e' membro de Colecao AutonomousAgent e' uma instancia de Empresa AutonomousAgent emprega Agente Cognitivo AutonomousAgent AutonomousAgent e' uma instancia de Industry AutonomousAgent e' membro de AutonomousAgent AutonomousAgent emprega Agente Cognitivo
(=>     (instance ?PARK ParkingLot)     (exists (?C ?N)         (and             (located ?C ?PARK)             (forall (?SLOT)                 (=>                     (member ?SLOT ?C)                     (instance ?SLOT ParkingRegion)))             (memberCount ?C ?N)             (greaterThan ?N 1))))	TransportDetail.kif 78-88	Objeto e' uma instancia de ParkingLot Colecao Numero Inteiro Colecao e' situado em Objeto Fisico Fisico e' membro de Colecao Fisico e' uma instancia de ParkingRegion memberCount Colecao and Numero Inteiro Numero Inteiro e' maior que 1
(=>     (instance ?PE ProtectiveEyewear)     (hasPurpose ?PE         (=>             (exists (?PERSON)                 (and                     (instance ?PERSON Human)                     (wears ?PERSON ?PE)))             (exists (?PROTECT ?EYE ?INJ ?I ?T)                 (and                     (instance ?PROTECT Process)                     (instrument ?PROTECT ?PE)                     (subclass ?INJ                         (KappaFn ?I                             (exists (?HUMAN)                                 (and                                     (instance ?I Injuring)                                     (instance ?EYE Eye)                                     (instance ?HUMAN Human)                                     (properPart ?EYE ?HUMAN)                                     (patient ?I ?EYE)                                     (=>                                         (holdsDuring ?T                                             (patient ?I ?PERSON))                                         (not                                             (holdsDuring ?T                                                 (patient ?PROTECT ?PERSON))))))))                     (prevents ?PROTECT ?INJ))))))	Cars.kif 3490-3517	Fisico e' uma instancia de ProtectiveEyewear Fisico tem por fim FisicoRSON FisicoRSON e' uma instancia de Humano FisicoRSON usa Fisico Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Processo Fisico e' um instrumento para Entidade Entidade e' uma sub-classe de a classe descrita por Entidade Entidade proibe a ocurrencia de Entidade
(=>     (instance ?PRIME PrimeNumber)     (forall (?NUMBER)         (=>             (and                 (equal                     (RemainderFn ?PRIME ?NUMBER) 0)                 (not                     (equal ?NUMBER 0)))             (or                 (equal ?NUMBER 1)                 (equal ?NUMBER ?PRIME)))))	Merge.kif 5154-5165	Numero Inteiro e' uma instancia de Numero Primo Numero Inteiro Numero Inteiro mod Numero Inteiro e' igual a 0 Numero Inteiro e' igual a 0 Numero Inteiro e' igual a 1 Numero Inteiro e' igual a Numero Inteiro
(=>     (instance ?PROFILE VisitorProfile)     (exists (?USER ?SITE)         (and             (instance ?USER AutonomousAgent)             (instance ?SITE WebSite)             (forall (?FORMULA)                 (=>                     (and                         (member ?FORMULA ?PROFILE)                         (instance ?FORMULA Formula))                     (visitorParameter ?USER ?FORMULA ?SITE))))))	UXExperimentalTerms.kif 1140-1151	Colecao e' uma instancia de VisitorProfile AutonomousAgent WebSite AutonomousAgent e' uma instancia de AutonomousAgent WebSite e' uma instancia de WebSite Formula Formula e' membro de Colecao Formula e' uma instancia de Formula visitorParameter AutonomousAgent, Formula and WebSite
(=>     (instance ?REL AntisymmetricRelation)     (forall (?INST1 ?INST2)         (=>             (and                 (?REL ?INST1 ?INST2)                 (?REL ?INST2 ?INST1))             (equal ?INST1 ?INST2))))	Merge.kif 2301-2308	Entidade e' uma instancia de Relacao Anti-simetrica Entidade Entidade Entidade Entidade and Entidade Entidade Entidade and Entidade Entidade e' igual a Entidade
(=>     (instance ?REL IntransitiveRelation)     (forall (?INST1 ?INST2 ?INST3)         (=>             (and                 (?REL ?INST1 ?INST2)                 (?REL ?INST2 ?INST3))             (not                 (?REL ?INST1 ?INST3)))))	Merge.kif 2355-2363	Entidade e' uma instancia de Relacao Intransitiva Entidade Entidade and Entidade Entidade Entidade and Entidade Entidade Entidade and Entidade Entidade Entidade and Entidade
(=>     (instance ?REL SymmetricRelation)     (forall (?INST1 ?INST2)         (=>             (?REL ?INST1 ?INST2)             (?REL ?INST2 ?INST1))))	Merge.kif 2267-2272	Entidade e' uma instancia de Relacao Simetrica Entidade Entidade Entidade Entidade and Entidade Entidade Entidade and Entidade
(=>     (instance ?REL TransitiveRelation)     (forall (?INST1 ?INST2 ?INST3)         (=>             (and                 (?REL ?INST1 ?INST2)                 (?REL ?INST2 ?INST3))             (?REL ?INST1 ?INST3))))	Merge.kif 2340-2347	Entidade e' uma instancia de Relacao Transitiva Entidade Entidade and Entidade Entidade Entidade and Entidade Entidade Entidade and Entidade Entidade Entidade and Entidade
(=>     (instance ?RESIDENCE SingleFamilyResidence)     (hasPurpose ?RESIDENCE         (forall (?AGENT1 ?AGENT2)             (=>                 (and                     (home ?AGENT1 ?RESIDENCE)                     (home ?AGENT2 ?RESIDENCE))                 (exists (?UNIT)                     (and                         (instance ?UNIT SocialUnit)                         (member ?AGENT1 ?UNIT)                         (member ?AGENT2 ?UNIT)))))))	Merge.kif 15847-15859	Fisico e' uma instancia de SingleFamilyResidence Fisico tem por fim Entidade Entidade a casa de Entidade e' Fisico a casa de Entidade e' Fisico Entidade Entidade e' uma instancia de SocialUnit Entidade e' membro de Entidade Entidade e' membro de Entidade
(=>     (instance ?S Shield)     (hasPurpose ?S         (exists (?P ?H ?I)             (and                 (instance ?P Protecting)                 (instrument ?P ?S)                 (instance ?H Human)                 (patient ?P ?H)                 (prevents ?P                     (KappaFn ?I                         (and                             (instance ?I Injuring)                             (exists (?W)                                 (and                                     (instance ?W Weapon)                                     (instrument ?I ?W)))                             (=>                                 (patient ?I ?H)                                 (not                                     (patient ?P ?H))))))))))	Mid-level-ontology.kif 1472-1492	Fisico e' uma instancia de Shield Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Protecting Fisico e' um instrumento para Entidade Entidade e' uma instancia de Humano Entidade e' um patient de Entidade Entidade proibe a ocurrencia de a classe descrita por Entidade
(=>     (instance ?SVC ShuttleService)     (exists (?LIST ?VEHICLE ?AGENT)         (and             (agent ?SVC ?AGENT)             (possesses ?AGENT ?VEHICLE)             (instance ?VEHICLE Automobile)             (instance ?LIST List)             (forall (?X)                 (=>                     (inList ?X ?LIST)                     (and                         (instance ?X PostalPlace)                         (exists (?TRANSPORT)                             (and                                 (instance ?TRANSPORT Transportation)                                 (agent ?TRANSPORT ?AGENT)                                 (instrument ?TRANSPORT ?VEHICLE)                                 (destination ?TRANSPORT ?X)))))))))	Hotel.kif 2035-2053	Processo e' uma instancia de ShuttleService Lista Objeto and AutonomousAgent Processo e' um agente de AutonomousAgent AutonomousAgent possui Objeto Objeto e' uma instancia de Automobile Lista e' uma instancia de Lista Entidade Entidade e' um membro de Lista Entidade e' uma instancia de PostalPlace Processo Processo e' uma instancia de Transporte Processo e' um agente de AutonomousAgent Objeto e' um instrumento para Processo Processo termina em Entidade
(=>     (instance ?State ProcessState)     (exists (?Program)         (and             (instance ?Program ComputerProgram)             (forall (?Process)                 (=>                     (programRunning ?Process ?Program)                     (represents ?State ?Process))))))	QoSontology.kif 562-570	Entidade e' uma instancia de ProcessState Programa de Computador Programa de Computador e' uma instancia de Programa de Computador ComputerProcess programRunning ComputerProcess and Programa de Computador Entidade define ComputerProcess
(=>     (instance ?Straddle Straddle)     (exists (?Call ?Price ?Date ?Number ?Put)         (and             (equal                 (CardinalityFn                     (KappaFn ?Call                         (and                             (instance ?Call CallOption)                             (part ?Call ?Straddle)))) ?Number)             (equal                 (CardinalityFn                     (KappaFn ?Put                         (and                             (instance ?Put PutOption)                             (part ?Put ?Straddle)))) ?Number)             (forall (?Option)                 (=>                     (and                         (instance ?Option Option)                         (part ?Option ?Straddle))                     (and                         (agreementExpirationDate ?Option ?Date)                         (strikePrice ?Option ?Price)))))))	FinancialOntology.kif 3149-3173	Objeto e' uma instancia de Straddle Sequencia Simbolica Medida de Divisa, Ponto no tempo, Numero Inteiro and Sequencia Simbolica o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' igual a Numero Inteiro o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' igual a Numero Inteiro Agreement Agreement e' uma instancia de Option Agreement e' uma &parte de Objeto agreementExpirationDate Agreement and Ponto no tempo strikePrice Agreement and Medida de Divisa
(=>     (instance ?System SoftwareSystem)     (forall (?Program ?Process)         (=>             (and                 (part ?Program ?System)                 (programRunning ?Process ?Program))             (exists (?Purpose)                 (hasPurpose ?Process ?Purpose)))))	QoSontology.kif 278-286	Objeto e' uma instancia de SoftwareSystem Objeto ComputerProcess Objeto e' uma &parte de Objeto programRunning ComputerProcess and Objeto Formula ComputerProcess tem por fim Formula
(=>     (instance ?TEAM CrossFunctionalTeam)     (exists (?INTEREST)         (and             (instance ?INTEREST Entity)             (forall (?MEMBER)                 (=>                     (and                         (instance ?MEMBER Human)                         (member ?MEMBER ?TEAM))                     (inScopeOfInterest ?MEMBER ?INTEREST))))))	UXExperimentalTerms.kif 2618-2628	Colecao e' uma instancia de CrossFunctionalTeam Entidade Entidade e' uma instancia de Entidade Agente Cognitivo Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' membro de Colecao Agente Cognitivo esta' interessado em Entidade
(=>     (instance ?TEL Telephoning)     (exists (?SPEAK ?AGENT)         (and             (instance ?SPEAK Speaking)             (subProcess ?SPEAK ?TEL)             (=>                 (agent ?TEL ?AGENT)                 (agent ?SPEAK ?AGENT)))))	Mid-level-ontology.kif 2973-2981	Processo e' uma instancia de Telephoning Processo AutonomousAgent Processo e' uma instancia de Speaking Processo e' um sub-processo de Processo Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent
(=>     (instance ?TUMOR Tumor)     (forall (?PART)         (=>             (part ?PART ?TUMOR)             (instance ?PART Tissue))))	Mid-level-ontology.kif 9437-9442	Objeto e' uma instancia de Tumor Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Tecido
(=>     (instance ?UNIT SocialUnit)     (exists (?HOME ?MEMBER)         (=>             (member ?MEMBER ?UNIT)             (home ?MEMBER ?HOME))))	Merge.kif 16298-16303	Colecao e' uma instancia de SocialUnit PermanentResidence Humano Humano e' membro de Colecao a casa de Humano e' PermanentResidence
(=>     (instance ?WAR CivilWar)     (exists (?NATION)         (and             (instance ?NATION Nation)             (forall (?AGENT)                 (=>                     (contestParticipant ?WAR ?AGENT)                     (geopoliticalSubdivision ?AGENT ?NATION))))))	Mid-level-ontology.kif 19691-19699	Contest e' uma instancia de CivilWar Area Geopolitica Area Geopolitica e' uma instancia de Nacao Area Geopolitica contestParticipant Contest and Area Geopolitica sub-divisao geopolitica
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