(=>     (instance ?X Buffet)     (forall (?ITEM)         (=>             (member ?ITEM ?X)             (instance ?ITEM                 (FoodForFn Human)))))	Dining.kif 260-265	Colecao e' uma instancia de Buffet Fisico Fisico e' membro de Colecao Fisico e' uma instancia de FoodForFn Humano
(=>     (instance ?X HighRise)     (exists (?LEVELS ?NUM)         (and             (instance ?LEVELS Collection)             (forall (?FLR)                 (=>                     (and                         (instance ?FLR BuildingLevel)                         (part ?FLR ?X))                     (member ?FLR ?LEVELS)))             (memberCount ?LEVELS ?NUM)             (greaterThanOrEqualTo ?NUM 10))))	Mid-level-ontology.kif 26496-26508	Objeto e' uma instancia de HighRise Colecao Numero Inteiro Colecao e' uma instancia de Colecao Objeto Objeto e' uma instancia de BuildingLevel Objeto e' uma &parte de Objeto Objeto e' membro de Colecao memberCount Colecao and Numero Inteiro Numero Inteiro e' maior ou igual a 10
(=>     (instance ?X Meal)     (forall (?ITEM)         (=>             (member ?ITEM ?X)             (instance ?ITEM                 (FoodForFn Human)))))	Food.kif 1680-1685	Colecao e' uma instancia de Meal Fisico Fisico e' membro de Colecao Fisico e' uma instancia de FoodForFn Humano
(=>     (instance ?X Protecting)     (hasPurpose ?X         (exists (?OBJ ?T ?H ?HARM)             (and                 (instance ?OBJ Object)                 (patient ?X Object)                 (subclass ?HARM                     (KappaFn ?H                         (and                             (or                                 (instance ?H CriminalAction)                                 (instance ?H Damaging))                             (=>                                 (holdsDuring ?T                                     (patient ?H ?OBJ))                                 (not                                     (holdsDuring ?T                                         (patient ?X ?OBJ)))))))                 (or                     (prevents ?X ?HARM)                     (hinders ?X ?HARM))))))	Mid-level-ontology.kif 18420-18441	Fisico e' uma instancia de Protecting Fisico tem por fim Entidade Entidade, Entidade and EntidadeARM Entidade e' uma instancia de Objeto Objeto e' um patient de Fisico EntidadeARM e' uma sub-classe de a classe descrita por Entidade Fisico proibe a ocurrencia de EntidadeARM hinders Fisico and EntidadeARM
(=>     (instance ?X PublicAddressSystem)     (hasPurpose ?X         (exists (?RS ?AREA ?GRP)             (and                 (instance ?AREA LandArea)                 (located ?X ?AREA)                 (instance ?GRP GroupOfPeople)                 (located ?GRP ?AREA)                 (instance ?RS RadiatingSound)                 (instrument ?RS ?X)                 (forall (?PERSON)                     (=>                         (member ?PERSON ?GRP)                         (exists (?HEAR)                             (and                                 (instance ?HEAR Hearing)                                 (patient ?HEAR ?RS)                                 (agent ?HEAR ?PERSON)))))))))	Mid-level-ontology.kif 26092-26110	Fisico e' uma instancia de PublicAddressSystem Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Area terrestre Fisico e' situado em Entidade Entidade e' uma instancia de GroupOfPeople Entidade e' situado em Entidade Entidade e' uma instancia de Som Irradiante Fisico e' um instrumento para Entidade Entidade Entidade e' membro de Entidade Entidade Entidade e' uma instancia de Ouvir Entidade e' um patient de Entidade Entidade e' um agente de Entidade
(=>     (instance ?X SafetyDevice)     (hasPurpose ?X         (exists (?P ?H ?I ?T)             (and                 (instance ?H Human)                 (instance ?P Process)                 (patient ?P ?H)                 (instrument ?P ?X)                 (prevents ?P                     (KappaFn ?I                         (and                             (instance ?I Injuring)                             (=>                                 (holdsDuring ?T                                     (experiencer ?I ?H))                                 (not                                     (holdsDuring ?T                                         (patient ?P ?H)))))))))))	Cars.kif 3363-3381	Fisico e' uma instancia de SafetyDevice Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Humano Entidade e' uma instancia de Processo Entidade e' um patient de Entidade Fisico e' um instrumento para Entidade Entidade proibe a ocurrencia de a classe descrita por Entidade
(=>     (interiorPart ?OBJ1 ?OBJ2)     (forall (?PART)         (=>             (superficialPart ?PART ?OBJ2)             (not                 (overlapsSpatially ?OBJ1 ?PART)))))	Merge.kif 9721-9727	Objeto e' uma parte interior de Objeto Objeto Objeto e' uma parte superficial de Objeto Objeto nao engloba %n Objeto
(=>     (located ?OBJ1 ?OBJ2)     (forall (?SUB)         (=>             (part ?SUB ?OBJ1)             (located ?SUB ?OBJ2))))	Merge.kif 4082-4087	Objeto e' situado em Objeto Objeto Objeto e' uma &parte de Objeto Objeto e' situado em Objeto
(=>     (member ?X AntiVaxxer)     (believes ?X         (=>             (and                 (instance ?V Vaccination)                 (experiencer ?V ?H))             (suffers ?V ?H))))	Medicine.kif 3061-3068	Agente Cognitivo e' membro de AntiVaxxer Agente Cognitivo acredita que Entidade e' uma instancia de Vaccination Entidade experimenta Entidade suffers Entidade and Entidade
(=>     (numberOfFloors ?BLDG ?NUM)     (exists (?FLOORS)         (and             (forall (?X)                 (=>                     (and                         (instance ?X BuildingLevel)                         (part ?X ?BLDG))                     (member ?X ?FLOORS)))             (memberCount ?FLOORS ?NUM))))	Hotel.kif 705-715	numberOfFloors Predio and Numero Inteiro Colecao Objeto Objeto e' uma instancia de BuildingLevel Objeto e' uma &parte de Predio Objeto e' membro de Colecao memberCount Colecao and Numero Inteiro
(=>     (orientation ?OBJ1 ?OBJ2 Surrounded)     (forall (?X)         (=>             (side ?X ?OBJ1)             (meetsSpatially ?X ?OBJ2))))	Mid-level-ontology.kif 25997-26002	Objeto auto-conectado e' Surrounded em relacao a Objeto Objeto auto-conectado o side de Objeto auto-conectado e' Objeto auto-conectado Objeto auto-conectado encontra Objeto
(=>     (piece ?SUBSTANCE1 ?SUBSTANCE2)     (forall (?CLASS)         (=>             (instance ?SUBSTANCE1 ?CLASS)             (instance ?SUBSTANCE2 ?CLASS))))	Merge.kif 958-963	Substancia e' uma peca de Substancia Classe Substancia e' uma instancia de Classe Substancia e' uma instancia de Classe
(=>     (precondition ?PROC1 ?PROC2)     (=>         (exists (?INST2)             (instance ?INST2 ?PROC2))         (exists (?INST1)             (instance ?INST1 ?PROC1))))	Merge.kif 4300-4304	Processo e' uma precondicao de Processo Entidade Entidade e' uma instancia de Processo Entidade Entidade e' uma instancia de Processo
(=>     (preventsSubclass ?PROC1 ?PROC2)     (forall (?TIME ?PLACE)         (=>             (holdsDuring ?TIME                 (exists (?INST1)                     (and                         (instance ?INST1 ?PROC1)                         (eventLocated ?INST1 ?PLACE))))             (not                 (holdsDuring ?TIME                     (exists (?INST2)                         (and                             (instance ?INST2 ?PROC2)                             (eventLocated ?INST2 ?PLACE))))))))	Merge.kif 4348-4362	preventsSubclass Processo and Processo Posicao Temporal Entidade Entidade Entidade e' uma instancia de Processo eventLocated Entidade and Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Processo eventLocated Entidade and Entidade vale durante Posicao Temporal
(=>     (productPrice ?ENT ?PRICE ?AGENT)     (modalAttribute         (=>             (and                 (instance ?S Selling)                 (immediateInstance ?I ?ENT)                 (patient ?S ?I)                 (agent ?S ?AGENT))             (transactionAmount ?S ?PRICE)) Likely))	Catalog.kif 419-428	productPrice Entidade, Medida de Divisa and Agente Cognitivo o argumento Entidade e' uma instancia de Vender Entidade e' uma instancia imediata de Entidade Entidade e' um patient de Entidade Entidade e' um agente de Agente Cognitivo transactionAmount Entidade and Medida de Divisa tem a forca modal de Likely
(=>     (property ?AGREEMENT Contract)     (forall (?X)         (=>             (subProposition ?X ?AGREEMENT)             (modalAttribute ?X Legal))))	Mid-level-ontology.kif 14141-14146	Proposicao tem um atributo de Contract Formula Formula e' uma &sub-proposicao de Proposicao o argumento Formula tem a forca modal de Legal
(=>     (property ?PROCESS ChemicalEquilibrium)     (exists (?RATIO ?TIME ?RESOURCE ?RESULT)         (=>             (and                 (holdsDuring ?TIME                     (resource ?PROCESS ?RESOURCE))                 (holdsDuring ?TIME                     (result ?PROCESS ?RESULT)))             (equal ?RATIO                 (DivisionFn ?RESOURCE ?RESULT)))))	Mid-level-ontology.kif 19634-19641	Entidade tem um atributo de ChemicalEquilibrium Numero Real Posicao Temporal, Numero Real and Numero Real Numero Real e' um recurso para Entidade vale durante Posicao Temporal Numero Real e' o resultado de Entidade vale durante Posicao Temporal Numero Real e' igual a Numero Real + Numero Real
(=>     (propertyPolicy ?AGENT ?POLICY)     (forall (?X)         (=>             (element ?X                 (PropertyFn ?AGENT))             (policyLocationCoverage ?POLICY ?X))))	Hotel.kif 615-620	propertyPolicy AutonomousAgent and Policy Objeto Objeto e' um elemento de propriedade de AutonomousAgent policyLocationCoverage Policy and Objeto
(=>     (protonNumber ?SUBSTANCE ?NUMBER)     (=>         (exists (?ATOM)             (and                 (part ?ATOM ?SUBSTANCE)                 (or                     (instance ?ATOM Atom)                     (instance ?ATOM Molecule))))         (exists (?PROTON)             (equal ?NUMBER                 (CardinalityFn                     (KappaFn ?PROTON                         (and                             (part ?PROTON ?ATOM)                             (instance ?PROTON Proton))))))))	Mid-level-ontology.kif 21687-21702	protonNumber Substancia Pura and Inteiro positivo Objeto Objeto e' uma &parte de Substancia Pura Objeto e' uma instancia de Atomo Objeto e' uma instancia de Molecula Sequencia Simbolica Inteiro positivo e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
(=>     (radius ?CIRCLE ?RADIUS)     (exists (?POINT)         (forall (?PART)             (=>                 (pointOfFigure ?PART ?CIRCLE)                 (geometricDistance ?PART ?POINT ?RADIUS)))))	Merge.kif 7665-7671	O radio de Objeto e' Medida de Comprimento GeometricPoint GeometricPoint GeometricPoint e' um ponto de Objeto geometricDistance GeometricPoint, GeometricPoint and Medida de Comprimento
(=>     (result ?PROC ?OBJ)     (forall (?TIME)         (=>             (before ?TIME                 (BeginFn                     (WhenFn ?PROC)))             (not                 (time ?OBJ ?TIME)))))	Merge.kif 8146-8152	Fisico e' o resultado de Processo Ponto no tempo Ponto no tempo comeca antes de o comeco de tempo de existencia de Processo Fisico nao existe %n durante Ponto no tempo
(=>     (roomAmenity ?X HotelMiniBar)     (exists (?ROOM ?BAR ?HOTEL)         (and             (instance ?ROOM ?X)             (element ?ROOM                 (PropertyFn ?HOTEL))             (instance ?BAR HotelMiniBar)             (located ?BAR ?ROOM)             (forall (?ITEM)                 (=>                     (member ?ITEM ?BAR)                     (exists (?AMT)                         (price ?ITEM ?AMT ?HOTEL)))))))	Hotel.kif 1727-1739	roomAmenity HotelUnit and HotelMiniBar Objeto Colecao and AutonomousAgent Objeto e' uma instancia de HotelUnit Objeto e' um elemento de propriedade de AutonomousAgent Colecao e' uma instancia de HotelMiniBar Colecao e' situado em Objeto Fisico Fisico e' membro de Colecao Medida de Divisa price Fisico, Medida de Divisa and AutonomousAgent
(=>     (roomAttribute ?ROOM ?ATTR)     (forall (?R)         (=>             (instance ?R ?ROOM)             (attribute ?R ?ATTR))))	Hotel.kif 463-468	roomAttribute HotelUnit and Atributo Relacional Objeto Objeto e' uma instancia de HotelUnit Atributo Relacional e' um atributo de Objeto
(=>     (roomPolicy ?ROOM ?POLICY)     (forall (?R)         (=>             (instance ?R ?ROOM)             (policyLocationCoverage ?POLICY ?R))))	Hotel.kif 448-453	roomPolicy HotelUnit and Policy Objeto Objeto e' uma instancia de HotelUnit policyLocationCoverage Policy and Objeto
(=>     (secretesToxin ?ORGANISM ?TOXIN)     (forall (?INSTANCE1)         (=>             (instance ?INSTANCE1 ?ORGANISM)             (exists (?PROCESS ?INSTANCE2)                 (and                     (instance ?PROCESS BiologicalProcess)                     (experiencer ?PROCESS ?INSTANCE1)                     (result ?PROCESS ?INSTANCE2)                     (instance ?INSTANCE2 ?TOXIN))))))	WMD.kif 988-998	secretesToxin Organismo and Toxin AutonomousAgent AutonomousAgent e' uma instancia de Organismo Processo Entidade Processo e' uma instancia de Processo Biologico AutonomousAgent experimenta Processo Entidade e' o resultado de Processo Entidade e' uma instancia de Toxin
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