(=>     (and         (instance ?LISTING WebListing)         (instance ?ITEM Object)         (instance ?CREATOR AutonomousAgent)         (attribute ?LISTING AuctionAttribute)         (patient ?ITEM ?LISTING)         (creator ?CREATOR ?LISTING))     (desires ?CREATOR         (exists (?AUCTION)             (and                 (instance ?AUCTION Auctioning)                 (patient ?AUCTION ?ITEM)))))	UXExperimentalTerms.kif 313-325	Objeto e' uma instancia de WebListing Processo e' uma instancia de Objeto Agente Cognitivo e' uma instancia de AutonomousAgent AuctionAttribute e' um atributo de Objeto Objeto e' um patient de Processo creator Agente Cognitivo and Objeto Agente Cognitivo deseja Entidade Entidade e' uma instancia de Auctioning Processo e' um patient de Entidade
(=>     (and         (instance ?MAF MovingAwayFrom)         (instance ?RELATIVEOBJECT Object)         (instance ?REFERENCEOBJECT Object)         (patient ?MAF ?RELATIVEOBJECT)         (patient ?MAF ?REFERENCEOBJECT))     (exists (?REFERENCEOBJECT ?BEFOREDISTANCE ?AFTERDISTANCE ?U)         (and             (instance ?BEFOREDISTANCE RealNumber)             (instance ?AFTERDISTANCE RealNumber)             (moves ?MAF ?RELATIVEOBJECT)             (holdsDuring                 (BeginFn                     (WhenFn ?MAF))                 (distance ?RELATIVEOBJECT ?REFERENCEOBJECT                     (MeasureFn ?BEFOREDISTANCE ?U)))             (holdsDuring                 (EndFn                     (WhenFn ?MAF))                 (distance ?RELATIVEOBJECT ?REFERENCEOBJECT                     (MeasureFn ?AFTERDISTANCE ?U)))             (greaterThan ?AFTERDISTANCE ?BEFOREDISTANCE))))	Mid-level-ontology.kif 33729-33749	Movimento e' uma instancia de MovingAwayFrom Objeto e' uma instancia de Objeto Entidade e' uma instancia de Objeto Objeto e' um patient de Movimento Entidade e' um patient de Movimento Entidade Numero Real, Numero Real and Entidade Numero Real e' uma instancia de Numero Real Numero Real e' uma instancia de Numero Real moves Movimento and Objeto a distancia entre Objeto e Entidade e' Numero Real Entidade(s) vale durante o comeco de tempo de existencia de Movimento a distancia entre Objeto e Entidade e' Numero Real Entidade(s) vale durante o fim de tempo de existencia de Movimento Numero Real e' maior que Numero Real
(=>     (and         (instance ?MT MovingTowards)         (instance ?RELATIVEOBJECT Object)         (instance ?REFERENCEOBJECT Object)         (patient ?MT ?REFERENCEOBJECT)         (patient ?MT ?RELATIVEOBJECT))     (exists (?REFERENCEOBJECT ?BEFOREDISTANCE ?AFTERDISTANCE)         (and             (instance ?BEFOREDISTANCE RealNumber)             (instance ?AFTERDISTANCE RealNumber)             (moves ?MT ?RELATIVEOBJECT)             (holdsDuring                 (BeginFn                     (WhenFn ?MT))                 (distance ?RELATIVEOBJECT ?REFERENCEOBJECT                     (MeasureFn ?BEFOREDISTANCE ?U)))             (holdsDuring                 (EndFn                     (WhenFn ?MT))                 (distance ?RELATIVEOBJECT ?REFERENCEOBJECT                     (MeasureFn ?AFTERDISTANCE ?U)))             (greaterThan ?BEFOREDISTANCE ?AFTERDISTANCE))))	Mid-level-ontology.kif 33756-33776	Movimento e' uma instancia de MovingTowards Objeto e' uma instancia de Objeto Entidade e' uma instancia de Objeto Entidade e' um patient de Movimento Objeto e' um patient de Movimento Entidade Numero Real and Numero Real Numero Real e' uma instancia de Numero Real Numero Real e' uma instancia de Numero Real moves Movimento and Objeto a distancia entre Objeto e Entidade e' Numero Real Entidade(s) vale durante o comeco de tempo de existencia de Movimento a distancia entre Objeto e Entidade e' Numero Real Entidade(s) vale durante o fim de tempo de existencia de Movimento Numero Real e' maior que Numero Real
(=>     (and         (instance ?O Object)         (attribute ?O ForSale))     (exists (?ME)         (and             (instance ?ME MarketEconomics)             (member ?O MarketEconomics))))	Economy.kif 6694-6701	Objeto e' uma instancia de Objeto ForSale e' um atributo de Objeto Entidade Entidade e' uma instancia de MarketEconomics Objeto e' membro de MarketEconomics
(=>     (and         (instance ?OBJ Object)         (attribute ?OBJ Pliable))     (exists (?CHANGE)         (and             (instance ?CHANGE ShapeChange)             (patient ?CHANGE ?OBJ))))	Merge.kif 17929-17936	Objeto e' uma instancia de Objeto Pliable e' um atributo de Objeto Processo Processo e' uma instancia de Mudanca de Forma Objeto e' um patient de Processo
(=>     (and         (instance ?OBJ1 Object)         (partlyLocated ?OBJ1 ?OBJ2))     (exists (?SUB)         (and             (part ?SUB ?OBJ1)             (located ?SUB ?OBJ2))))	Merge.kif 4080-4087	Objeto e' uma instancia de Objeto Objeto e' parcialmente localizado em Objeto Objeto Objeto e' uma &parte de Objeto Objeto e' situado em Objeto
(=>     (and         (instance ?OBJ1 Object)         (partlyLocated ?OBJ1 ?OBJ2))     (overlapsSpatially ?OBJ1 ?OBJ2))	Merge.kif 4074-4078	Objeto e' uma instancia de Objeto Objeto e' parcialmente localizado em Objeto Objeto engloba Objeto
(=>     (and         (instance ?PLACE Object)         (instance ?BLOW Wind)         (measure ?BLOW             (VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION)))     (surfaceWindVelocity ?PLACE         (SpeedFn ?DIST ?TIME) ?DIRECTION))	Weather.kif 125-130	Regiao e' uma instancia de Objeto Fisico e' uma instancia de Wind a medida de Fisico e' Medida de Comprimento por Duracao Temporal Regiao na direcao Atributo Directional surfaceWindVelocity Regiao, Medida de Comprimento por Duracao Temporal and Atributo Directional
(=>     (and         (instance ?REL CaseRole)         (instance ?OBJ Object)         (?REL ?PROCESS ?OBJ))     (exists (?TIME)         (overlapsSpatially             (WhereFn ?PROCESS ?TIME) ?OBJ)))	Merge.kif 9737-9743	Entidade e' uma instancia de Role em Caso Objeto e' uma instancia de Objeto Entidade Fisico and Objeto Ponto no tempo o lugar onde Fisico estava em Ponto no tempo engloba Objeto
(=>     (and         (instance ?REPAYMENT Repayment)         (instance ?REPAYMENT_DESTINATION Object)         (destination ?REPAYMENT ?REPAYMENT_DESTINATION)         (instance ?REPAYMENT_ORIGIN Object)         (origin ?REPAYMENT ?REPAYMENT_ORIGIN))     (exists (?PAYMENT ?PAYMENT_ORIGIN ?PAYMENT_DESTINATION)         (and             (instance ?PAYMENT Payment)             (instance ?PAYMENT_ORIGIN Object)             (instance ?PAYMENT_DESTINATION Object)             (not                 (equal ?PAYMENT ?REPAYMENT))             (destination ?PAYMENT ?PAYMENT_DESTINATION)             (origin ?PAYMENT ?PAYMENT_ORIGIN)             (equal ?PAYMENT_ORIGIN ?REPAYMENT_DESTINATION)             (equal ?PAYMENT_DESTINATION ?REPAYMENT_ORIGIN))))	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 equal Processo and Processo Processo termina em Processo_DESTINATION Processo tem como origem Processo_ORIGIN equal Processo_ORIGIN and Processo_DESTINATION equal Processo_DESTINATION and Processo_ORIGIN
(=>     (and         (instance ?SALE BargainSale)         (patient ?SALE ?OBJ)         (instance ?OBJ Object))     (exists (?PRICE1 ?PRICE2 ?AGENT1 ?AGENT2 ?U)         (and             (instance ?U UnitOfCurrency)             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?SALE))                 (price ?OBJ                     (MeasureFn ?PRICE1 ?U) ?AGENT1))             (holdsDuring                 (WhenFn ?SALE)                 (price ?OBJ                     (MeasureFn ?PRICE2 ?U) ?AGENT2))             (lessThan ?PRICE2 ?PRICE1))))	Mid-level-ontology.kif 9015-9029	Processo e' uma instancia de BargainSale Entidade e' um patient de Processo Entidade e' uma instancia de Objeto Numero Real Numero Real, Entidade, Entidade and Entidade Entidade e' uma instancia de UnitOfCurrency price Entidade, Numero Real Entidade(s) and Entidade vale durante imediatemente antes de tempo de existencia de Processo price Entidade, Numero Real Entidade(s) and Entidade vale durante tempo de existencia de Processo Numero Real e' menos que Numero Real
(=>     (and         (instance ?SAW Saw)         (instance ?CUT Cutting)         (instrument ?CUT ?SAW)         (instance ?OBJ Object)         (patient ?CUT ?OBJ))     (exists (?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)         (and             (instance ?MOTION Motion)             (subProcess ?MOTION ?CUT)             (instance ?PART CuttingDevice)             (part ?PART ?SAW)             (meetsSpatially ?PART ?OBJ)             (patient ?MOTION ?PART)             (instance ?T2 TimeInterval)             (instance ?T2 TimeInterval)             (equal                 (WhenFn ?MOTION) ?TIME)             (temporalPart ?TIME ?T1)             (temporalPart ?TIME ?T2)             (instance ?DIR1 DirectionalAttribute)             (instance ?DIR2 DirectionalAttribute)             (=>                 (holdsDuring ?T1                     (direction ?MOTION ?DIR1))                 (holdsDuring ?T2                     (and                         (direction ?MOTION ?DIR2)                         (or                             (equal ?DIR1 ?DIR2)                             (oppositeDirection ?DIR1 ?DIR2))                         (not                             (and                                 (equal ?DIR1 ?DIR2)                                 (oppositeDirection ?DIR1 ?DIR2)))))))))	Mid-level-ontology.kif 19721-19755	Objeto e' uma instancia de Saw Processo e' uma instancia de Cortar Objeto e' um instrumento para Processo Objeto e' uma instancia de Objeto Objeto e' um patient de Processo Processo Entidade, Entidade, Intervalo Temporal, Posicao Temporal, Posicao Temporal and Objeto Processo e' uma instancia de Movimento Processo e' um sub-processo de Processo Objeto e' uma instancia de CuttingDevice Objeto e' uma &parte de Objeto Objeto encontra Objeto Objeto e' um patient de Processo Posicao Temporal e' uma instancia de Intervalo Temporal Posicao Temporal e' uma instancia de Intervalo Temporal equal tempo de existencia de Processo and Intervalo Temporal Intervalo Temporal e' uma &parte de Posicao Temporal Intervalo Temporal e' uma &parte de Posicao Temporal Entidade e' uma instancia de Atributo Directional Entidade e' uma instancia de Atributo Directional as entidades no processo Processo se movem Entidade vale durante Posicao Temporal as entidades no processo Processo se movem Entidade equal Entidade and Entidade oppositeDirection Entidade and Entidade ~{ equal Entidade and Entidade } ~{ oppositeDirection Entidade and Entidade } vale durante Posicao Temporal
(=>     (and         (instance ?SEEING Seeing)         (patient ?SEEING ?OBJ)         (agent ?SEEING ?AGENT)         (instance ?OBJ Object)         (time ?SEEING ?TIME)         (holdsDuring ?TIME             (located ?OBJ ?PLACE)))     (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE))	Justice.kif 61-69	Processo e' uma instancia de Visao Objeto e' um patient de Processo Processo e' um agente de AutonomousAgent Objeto e' uma instancia de Objeto Processo existe durante Posicao Temporal Objeto e' situado em Objeto vale durante Posicao Temporal observedAtTimeInPlace Objeto, AutonomousAgent, Posicao Temporal and Objeto
(=>     (and         (instance ?SELLINGS Collection)         (instance ?GMV CurrencyMeasure)         (instance ?TOTAL RealNumber)         (equal ?GMV             (GMVFn ?SELLINGS))         (equal ?TOTAL             (CardinalityFn                 (KappaFn ?ITEM                     (and                         (instance ?ITEM Object)                         (exists (?SELLING)                             (and                                 (member ?SELLING ?SELLINGS)                                 (patient ?SELLING ?ITEM))))))))     (equal         (ASPFn ?SELLINGS)         (DivisionFn ?GMV ?TOTAL)))	UXExperimentalTerms.kif 3282-3302	Colecao e' uma instancia de Colecao Numero Real e' uma instancia de Medida de Divisa Numero Inteiro e' uma instancia de Numero Real equal Numero Real and GMVFn Colecao equal Numero Inteiro and o numero de instancias dentro de a classe descrita por Sequencia Simbolica equal ASPFn Colecao and Numero Real + Numero Inteiro
(=>     (and         (instance ?TRANS Buying)         (attribute ?TRANS CBT)         (patient ?TRANS ?OBJ)         (instance ?OBJ Object))     (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION)         (and             (instance ?BUYER AutonomousAgent)             (instance ?SELLER AutonomousAgent)             (agent ?TRANS ?BUYER)             (origin ?TRANS ?SELLER)             (instance ?BUYER_LOCATION GeopoliticalArea)             (instance ?SELLER_LOCATION GeopoliticalArea)             (located ?SELLER ?SELLER_LOCATION)             (located ?BUYER ?BUYER_LOCATION)             (not                 (equal ?BUYER_LOCATION ?SELLER_LOCATION)))))	UXExperimentalTerms.kif 1841-1858	Objeto e' uma instancia de Comprar CBT e' um atributo de Objeto Entidade e' um patient de Objeto Entidade e' uma instancia de Objeto Objeto AutonomousAgent, AutonomousAgent_LOCATION and Objeto_LOCATION AutonomousAgent e' uma instancia de AutonomousAgent Objeto e' uma instancia de AutonomousAgent Objeto e' um agente de AutonomousAgent Objeto tem como origem Objeto AutonomousAgent_LOCATION e' uma instancia de Area Geopolitica Objeto_LOCATION e' uma instancia de Area Geopolitica Objeto e' situado em Objeto_LOCATION AutonomousAgent e' situado em AutonomousAgent_LOCATION equal AutonomousAgent_LOCATION and Objeto_LOCATION
(=>     (and         (instance ?TRANS Selling)         (attribute ?TRANS CBT)         (patient ?TRANS ?OBJ)         (instance ?OBJ Object))     (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION)         (and             (instance ?BUYER AutonomousAgent)             (instance ?SELLER AutonomousAgent)             (destination ?TRANS ?BUYER)             (agent ?TRANS ?SELLER)             (instance ?BUYER_LOCATION GeopoliticalArea)             (instance ?SELLER_LOCATION GeopoliticalArea)             (located ?SELLER ?SELLER_LOCATION)             (located ?BUYER ?BUYER_LOCATION)             (not                 (equal ?BUYER_LOCATION ?SELLER_LOCATION)))))	UXExperimentalTerms.kif 1822-1839	Objeto e' uma instancia de Vender CBT e' um atributo de Objeto Entidade e' um patient de Objeto Entidade e' uma instancia de Objeto AutonomousAgent Fisico, Fisico_LOCATION and AutonomousAgent_LOCATION Fisico e' uma instancia de AutonomousAgent AutonomousAgent e' uma instancia de AutonomousAgent Objeto termina em Fisico Objeto e' um agente de AutonomousAgent Fisico_LOCATION e' uma instancia de Area Geopolitica AutonomousAgent_LOCATION e' uma instancia de Area Geopolitica AutonomousAgent e' situado em AutonomousAgent_LOCATION Fisico e' situado em Fisico_LOCATION equal Fisico_LOCATION and AutonomousAgent_LOCATION
(=>     (and         (instance ?WATCH WatchItem)         (instance ?AGENT AutonomousAgent)         (instance ?OBJ Object)         (agent ?WATCH ?AGENT)         (patient ?WATCH ?OBJ))     (inScopeOfInterest ?AGENT ?OBJ))	UXExperimentalTerms.kif 1596-1603	Processo e' uma instancia de WatchItem 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 esta' interessado em Entidade
(=>     (and         (instance ?WATCH WatchItem)         (instance ?OBJ Object)         (patient ?WATCH ?OBJ)         (agent ?WATCH ?USER))     (exists (?COLL ?SITE ?AFTER ?INTERVAL)         (and             (instance ?COLL Collection)             (instance ?SITE WebSite)             (instance ?INTERVAL TimeInterval)             (watchingListings ?USER ?COLL ?SITE)             (equal                 (BeginFn ?INTERVAL)                 (EndFn ?WATCH))             (holdsDuring ?AFTER                 (member ?OBJ ?COLL)))))	UXExperimentalTerms.kif 1605-1621	Intervalo Temporal e' uma instancia de WatchItem 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 watchingListings AutonomousAgent, Colecao and WebSite equal o comeco de Intervalo Temporal and o fim de Intervalo Temporal Entidade e' membro de Colecao vale durante Posicao Temporal
(=>     (and         (instance ?ZEPHYR WindFlow)         (instance ?PLACE Object)         (partlyLocated ?ZEPHYR ?PLACE)         (elevation ?ZEPHYR             (MeasureFn ?X FootLength))         (lessThanOrEqualTo ?X 500.0)         (measure ?ZEPHYR             (SpeedFn ?DIST ?TIME)))     (surfaceWindSpeed ?PLACE         (SpeedFn ?DIST ?TIME)))	Weather.kif 136-145	Objeto e' uma instancia de WindFlow Objeto e' uma instancia de Objeto Objeto e' parcialmente localizado em Objeto elevation Objeto and Numero Real FootLength(s) Numero Real e' menor ou igual a 500.0 a medida de Objeto e' Medida de Comprimento por Duracao Temporal surfaceWindSpeed Objeto and Medida de Comprimento por Duracao Temporal
(=>     (and         (instance ?ZEPHYR WindFlow)         (instance ?PLACE Object)         (partlyLocated ?ZEPHYR ?PLACE)         (measure ?ZEPHYR             (MeasureFn ?SPEED KnotUnitOfSpeed)))     (surfaceWindSpeed ?PLACE         (MeasureFn ?SPEED KnotUnitOfSpeed)))	Weather.kif 147-153	Fisico e' uma instancia de WindFlow Objeto e' uma instancia de Objeto Fisico e' parcialmente localizado em Objeto a medida de Fisico e' Numero Real KnotUnitOfSpeed(s) surfaceWindSpeed Objeto and Numero Real KnotUnitOfSpeed(s)
(=>     (and         (listingBidder ?LISTING ?AGENT)         (instance ?OBJ Object)         (patient ?LISTING ?OBJ))     (exists (?MONEY)         (bidPrice ?OBJ ?MONEY ?AGENT)))	UXExperimentalTerms.kif 109-115	listingBidder WebListing and AutonomousAgent Objeto e' uma instancia de Objeto Objeto e' um patient de WebListing Medida de Divisa bidPrice Objeto, Medida de Divisa and AutonomousAgent
(=>     (and         (listingBuyer ?LISTING ?BUYER)         (instance ?OBJ Object)         (instance ?SITE WebSite)         (patient ?LISTING ?OBJECT)         (hostedOn ?LISTING ?SITE))     (exists (?BUYING)         (and             (instance ?BUYING Buying)             (patient ?BUYING ?OBJ)             (eCommerceSite ?BUYING ?SITE)             (agent ?BUYING ?BUYER))))	UXExperimentalTerms.kif 86-98	listingBuyer WebListing and AutonomousAgent Entidade e' uma instancia de Objeto WebSite e' uma instancia de WebSite EntidadeECT e' um patient de WebListing hostedOn WebListing and WebSite Transacao Financeira Transacao Financeira e' uma instancia de Comprar Entidade e' um patient de Transacao Financeira eCommerceSite Transacao Financeira and WebSite Transacao Financeira e' um agente de AutonomousAgent
(=>     (and         (listingSeller ?LISTING ?AGENT)         (instance ?OBJ Object)         (patient ?LISTING ?OBJ))     (desires ?AGENT         (exists (?SELLING)             (patient ?SELLING ?OBJ))))	UXExperimentalTerms.kif 61-68	listingSeller WebListing and Agente Cognitivo Entidade e' uma instancia de Objeto Entidade e' um patient de WebListing Agente Cognitivo deseja Entidade Entidade e' um patient de Entidade
(=>     (and         (naturalHazardTypeInArea ?AREA ?TYPE)         (subclass ?TYPE Object))     (exists (?ITEM)         (and             (instance ?ITEM ?TYPE)             (located ?ITEM ?AREA))))	Geography.kif 2429-2436	naturalHazardTypeInArea Area Geografica and Fisico Fisico e' uma sub-classe de Objeto Fisico Fisico e' uma instancia de Fisico Fisico e' situado em Area Geografica
(=>     (and         (offers ?AGENT ?CATALOG)         (catalogItem ?CLASS ?CATALOG)         (subclass ?CLASS Object)         (instance ?PROCESSINST ?PROCESS)         (subclass ?PROCESS Process)         (instance ?OBJ ?CLASS)         (patient ?PROCESSINST ?OBJ))     (capability ?PROCESS agent ?AGENT))	Catalog.kif 98-107	offers AutonomousAgent and Catalog catalogItem Entidade and Catalog Entidade e' uma sub-classe de Objeto Processo e' uma instancia de Processo Processo e' uma sub-classe de Processo Entidade e' uma instancia de Entidade Entidade e' um patient de Processo AutonomousAgent e' capaz de fazer Processo no role agent
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