(=>     (describes ?FORMULA ?OBJECT)     (exists (?STATING ?AGENT)         (and             (instance ?STATING Stating)             (agent ?STATING ?AGENT)             (patient ?STATING ?FORMULA)             (refers ?STATING ?OBJECT))))	Mid-level-ontology.kif 16180-16187	describes Formula and Objeto Processo AutonomousAgent Processo e' uma instancia de Declarar Processo e' um agente de AutonomousAgent Formula e' um patient de Processo Processo inclui uma referencia a Objeto
(=>     (evidence ?LA ?P)     (exists (?A ?PROP)         (and             (instance ?PROP Proposition)             (instance ?A Argument)             (refers ?A ?LA)             (represents ?PROP ?P)             (premise ?A ?PROP))))	Law.kif 180-188	evidence Acao Legal and Fisico Argument FisicoROP FisicoROP e' uma instancia de Proposicao Argument e' uma instancia de Argument Argument inclui uma referencia a Acao Legal FisicoROP define Fisico premise Argument and FisicoROP
(=>     (experimentUpdate ?CBP ?EXP)     (refers ?CBP ?EXP))	UXExperimentalTerms.kif 2680-2682	experimentUpdate ContentBearingPhysical and Experimenting ContentBearingPhysical inclui uma referencia a Experimenting
(=>     (finalExperimentReport ?CBP ?EXP)     (refers ?CBP ?EXP))	UXExperimentalTerms.kif 2709-2711	finalExperimentReport ContentBearingPhysical and Experimenting ContentBearingPhysical inclui uma referencia a Experimenting
(=>     (instance ?A Announcement)     (exists (?CD ?I)         (and             (instance ?CD ContentDevelopment)             (result ?CD ?A)             (refers ?A ?I)             (instance ?I SocialInteraction)             (earlier                 (WhenFn ?CD)                 (WhenFn ?I)))))	Mid-level-ontology.kif 14550-14560	Entidade e' uma instancia de Announcement Processo Fisico Processo e' uma instancia de Desenvolvimento de Conteudo Entidade e' o resultado de Processo Entidade inclui uma referencia a Fisico Fisico e' uma instancia de Interacao Social tempo de existencia de Processo acontence antes de tempo de existencia de Fisico
(=>     (instance ?A Aqiqah)     (exists (?BIRTH)         (and             (refers ?A ?BIRTH)             (earlier                 (WhenFn ?BIRTH)                 (WhenFn ?A)))))	ArabicCulture.kif 333-338	Fisico e' uma instancia de Aqiqah Fisico Fisico inclui uma referencia a Fisico tempo de existencia de Fisico acontence antes de tempo de existencia de Fisico
(=>     (instance ?ADVERT Advertising)     (exists (?OBJ)         (and             (refers ?ADVERT ?OBJ)             (hasPurpose ?ADVERT                 (exists (?SALE)                     (and                         (instance ?SALE Selling)                         (patient ?SALE ?OBJ)))))))	Merge.kif 13147-13152	Fisico e' uma instancia de Promover Entidade Fisico inclui uma referencia a Entidade Fisico tem por fim Entidade Entidade e' uma instancia de Vender Entidade e' um patient de Entidade
(=>     (instance ?AID AppleID)     (exists (?E)         (and             (instance ?E EmailAddress)             (refers ?AID ?E))))	ComputingBrands.kif 2025-2030	Entidade e' uma instancia de AppleID Entidade Entidade e' uma instancia de EmailAddress Entidade inclui uma referencia a Entidade
(=>     (instance ?ANSWER Answering)     (exists (?QUESTION)         (and             (instance ?QUESTION Questioning)             (refers ?ANSWER ?QUESTION)             (earlier                 (WhenFn ?QUESTION)                 (WhenFn ?ANSWER)))))	Mid-level-ontology.kif 891-897	Fisico e' uma instancia de Answering Fisico Fisico e' uma instancia de Questionar Fisico inclui uma referencia a Fisico tempo de existencia de Fisico acontence antes de tempo de existencia de Fisico
(=>     (instance ?B Biography)     (exists (?H)         (and             (instance ?H Human)             (refers ?B ?H))))	Mid-level-ontology.kif 14925-14930	Entidade e' uma instancia de Biography Entidade Entidade e' uma instancia de Humano Entidade inclui uma referencia a Entidade
(=>     (instance ?C CalendarText)     (exists (?D)         (and             (instance ?D Day)             (refers ?C ?D))))	ComputingBrands.kif 2295-2300	Entidade e' uma instancia de CalendarText Entidade Entidade e' uma instancia de Dia Entidade inclui uma referencia a Entidade
(=>     (instance ?C Congratulating)     (exists (?P ?A ?D)         (and             (destination ?C ?D)             (agent ?P ?D)             (agent ?C ?A)             (wants ?A ?P)             (refers ?C ?P))))	Mid-level-ontology.kif 13022-13030	Processo e' uma instancia de Congratulating Processo Agente Cognitivo and AutonomousAgent Processo termina em AutonomousAgent Processo e' um agente de AutonomousAgent Processo e' um agente de Agente Cognitivo Agente Cognitivo quer Processo Processo inclui uma referencia a Processo
(=>     (instance ?C Correcting)     (exists (?D ?S ?SP ?CP)         (and             (instance ?D Disagreeing)             (subProcess ?C ?D)             (instance ?S Stating)             (subProcess ?S ?D)             (containsInformation ?S ?SP)             (containsInformation ?C ?CP)             (refers ?CP ?SP)             (not                 (consistent ?CP ?SP)))))	Mid-level-ontology.kif 29742-29754	Processo e' uma instancia de Correcting Processo Processo, ProcessoP and ProcessoP Processo e' uma instancia de Disagreeing Processo e' um sub-processo de Processo Processo e' uma instancia de Declarar Processo e' um sub-processo de Processo Processo contem informacao ProcessoP Processo contem informacao ProcessoP ProcessoP inclui uma referencia a ProcessoP consistent ProcessoP and ProcessoP
(=>     (instance ?C HolidayCard)     (exists (?H)         (and             (instance ?H Holiday)             (refers ?C ?H))))	Mid-level-ontology.kif 14902-14907	Entidade e' uma instancia de HolidayCard Entidade Entidade e' uma instancia de Holiday Entidade inclui uma referencia a Entidade
(=>     (instance ?CALL GameCall)     (exists (?GAME)         (and             (instance ?GAME Game)             (refers ?CALL ?GAME))))	Mid-level-ontology.kif 16308-16313	Entidade e' uma instancia de GameCall Entidade Entidade e' uma instancia de Jogo Entidade inclui uma referencia a Entidade
(=>     (instance ?CD ComputerDesktopImage)     (hasPurpose ?CD         (and             (refers ?CD ?F)             (or                 (instance ?F DigitalData)                 (instance ?F ComputerProgram)))))	ComputingBrands.kif 3167-3174	Fisico e' uma instancia de ComputerDesktopImage Fisico tem por fim Fisico inclui uma referencia a Entidade Entidade e' uma instancia de DigitalData Entidade e' uma instancia de Programa de Computador
(=>     (instance ?CHART Chart)     (exists (?QUANTITY)         (and             (instance ?QUANTITY PhysicalQuantity)             (refers ?CHART ?QUANTITY))))	Mid-level-ontology.kif 13271-13276	Entidade e' uma instancia de Chart Entidade Entidade e' uma instancia de Quantidade Fisica Entidade inclui uma referencia a Entidade
(=>     (instance ?COMMENT DigitalComment)     (exists (?POST)         (and             (instance ?POST DigitalPost)             (refers ?COMMENT ?POST))))	ComputerInput.kif 2864-2869	Entidade e' uma instancia de DigitalComment Entidade Entidade e' uma instancia de DigitalPost Entidade inclui uma referencia a Entidade
(=>     (instance ?COMMUNICATE Communication)     (exists (?PHYS ?ENTITY ?AGENT1 ?AGENT2)         (and             (refers ?PHYS ?ENTITY)             (patient ?COMMUNICATE ?PHYS)             (instance ?AGENT1 CognitiveAgent)             (agent ?COMMUNICATE ?AGENT1)             (instance ?AGENT2 CognitiveAgent)             (destination ?COMMUNICATE ?AGENT2))))	Merge.kif 13091-13100	Processo e' uma instancia de Communicacao Entidade Entidade, AutonomousAgent and Entidade Entidade inclui uma referencia a Entidade Entidade e' um patient de Processo AutonomousAgent e' uma instancia de Agente Cognitivo Processo e' um agente de AutonomousAgent Entidade e' uma instancia de Agente Cognitivo Processo termina em Entidade
(=>     (instance ?DECISION LegalDecision)     (exists (?ACTION)         (and             (instance ?ACTION LegalAction)             (refers ?DECISION ?ACTION))))	Merge.kif 10828-10833	Entidade e' uma instancia de LegalDecision Entidade Entidade e' uma instancia de Acao Legal Entidade inclui uma referencia a Entidade
(=>     (instance ?DESCRIPTIONPAGE ProductDescriptionPage)     (exists (?PRODUCT ?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT)         (and             (instance ?PRODUCT Class)             (instance ?STATING Stating)             (patient ?STATING ?DESCRIPTION)             (refers ?DESCRIPTION ?PRODUCT)             (result ?DESCRIPTION ?DESCRIPTIONCONTENT)             (part ?DESCRIPTIONCONTENT ?DESCRIPTIONPAGE))))	UXExperimentalTerms.kif 2043-2052	Objeto e' uma instancia de ProductDescriptionPage Entidade Processo, Processo and ProcessoCONTENT Entidade e' uma instancia de Classe Processo e' uma instancia de Declarar Processo e' um patient de Processo Processo inclui uma referencia a Entidade ProcessoCONTENT e' o resultado de Processo ProcessoCONTENT e' uma &parte de Objeto
(=>     (instance ?F Funeral)     (exists (?D)         (and             (instance ?D Death)             (refers ?F ?D))))	Mid-level-ontology.kif 16034-16039	Entidade e' uma instancia de Funeral Entidade Entidade e' uma instancia de Morte Entidade inclui uma referencia a Entidade
(=>     (instance ?F NationalFlag)     (exists (?N)         (and             (instance ?N Nation)             (refers ?F ?N))))	Mid-level-ontology.kif 13293-13298	Entidade e' uma instancia de NationalFlag Entidade Entidade e' uma instancia de Nacao Entidade inclui uma referencia a Entidade
(=>     (instance ?G Chart)     (exists (?Q)         (and             (instance ?Q PhysicalQuantity)             (refers ?G ?Q))))	Mid-level-ontology.kif 13300-13305	Entidade e' uma instancia de Chart Entidade Entidade e' uma instancia de Quantidade Fisica Entidade inclui uma referencia a Entidade
(=>     (instance ?HL HypertextLink)     (refers ?HL DigitalData))	UXExperimentalTerms.kif 3312-3314	Entidade e' uma instancia de HypertextLink Entidade inclui uma referencia a DigitalData
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