(=>     (and         (attribute ?ATHLETE ?PA)         (instance ?PA ProfessionalAthlete))     (hasSkill Sport ?ATHLETE))	Sports.kif 1371-1375	Atributo e' um atributo de AutonomousAgent Atributo e' uma instancia de ProfessionalAthlete AutonomousAgent tem a capacidade de fazer Esporte
(=>     (and         (attribute ?C Collectible)         (hasPurpose ?C ?P))     (exists (?H ?P2)         (and             (instance ?H Human)             (wants ?H ?C)             (desires ?H ?P2)             (entails ?P2                 (possesses ?H ?C))             (not                 (equal ?P ?P2)))))	Mid-level-ontology.kif 31426-31438	Collectible e' um atributo de Objeto Objeto tem por fim Formula Agente Cognitivo Formula2 Agente Cognitivo e' uma instancia de Humano Agente Cognitivo quer Objeto Agente Cognitivo deseja Formula2 Formula2 implica Agente Cognitivo possui Objeto equal Formula and Formula2
(=>     (and         (attribute ?D DeviceDamaged)         (hasPurpose ?D ?F))     (not         (modalAttribute ?F Possibility)))	Mid-level-ontology.kif 31377-31382	DeviceDamaged e' um atributo de Objeto Objeto tem por fim Formula o argumento Formula nao a forca modal de Possibility
(=>     (and         (attribute ?D DeviceNormal)         (hasPurpose ?D ?F))     (modalAttribute ?F Possibility))	Mid-level-ontology.kif 31350-31354	DeviceNormal e' um atributo de Objeto Objeto tem por fim Formula o argumento Formula tem a forca modal de Possibility
(=>     (and         (attribute ?DEVICE ?ATTRIBUTE)         (instance ?ATTRIBUTE DeviceAttribute))     (instance ?DEVICE Device))	Mid-level-ontology.kif 2296-2300	Atributo e' um atributo de Objeto Atributo e' uma instancia de DeviceAttribute Objeto e' uma instancia de Aparelho
(=>     (and         (attribute ?DEVICE Functioning)         (hasPurpose ?DEVICE ?PROP))     (truth ?PROP True))	Mid-level-ontology.kif 2307-2311	Functioning e' um atributo de Objeto Objeto tem por fim Formula truth Formula and True
(=>     (and         (attribute ?DEVICE Malfunctioning)         (hasPurpose ?DEVICE ?PROP))     (truth ?PROP False))	Mid-level-ontology.kif 2317-2321	Malfunctioning e' um atributo de Objeto Objeto tem por fim Formula truth Formula and False
(=>     (and         (attribute ?EXP ?ATTR)         (instance ?ATTR ExperimentAttribute))     (instance ?EXP Experimenting))	UXExperimentalTerms.kif 4407-4411	Atributo e' um atributo de Objeto Atributo e' uma instancia de ExperimentAttribute Objeto e' uma instancia de Experimenting
(=>     (and         (attribute ?F DecafAttribute)         (instance ?F Food))     (not         (exists (?C)             (and                 (instance ?C Caffeine)                 (piece ?C ?F)))))	Food.kif 437-445	DecafAttribute e' um atributo de Substancia Substancia e' uma instancia de Comida Substancia Substancia e' uma instancia de Caffeine Substancia e' uma peca de Substancia
(=>     (and         (attribute ?FOOD1 FamilyStylePortion)         (measure ?FOOD1             (MeasureFn ?MEAS1 ?U))         (not             (attribute ?FOOD2 FamilyStylePortion))         (measure ?FOOD2             (MeasureFn ?MEAS2 ?U))         (instance ?FOOD1 ?CLASS)         (instance ?FOOD2 ?CLASS)         (instance ?U UnitOfMeasure))     (greaterThan ?MEAS1 ?MEAS2))	Dining.kif 1165-1176	FamilyStylePortion e' um atributo de Objeto a medida de Objeto e' Numero Real Unidade de Medida(s) FamilyStylePortion e' um atributo de Objeto a medida de Objeto e' Numero Real Unidade de Medida(s) Objeto e' uma instancia de Classe Objeto e' uma instancia de Classe Unidade de Medida e' uma instancia de Unidade de Medida Numero Real e' maior que Numero Real
(=>     (and         (attribute ?G ?H)         (instance ?G Substance)         (instance ?H HazardousMaterialTransportAttribute)         (not             (attribute ?G HazardousExplosives))         (not             (attribute ?G HazardousGases))         (not             (attribute ?G FlammableLiquid))         (not             (attribute ?G FlammableSolid))         (not             (attribute ?G OxidizingSubstance))         (not             (attribute ?G ToxicandInfectiousSubstance))         (not             (attribute ?G RadioactiveSubstance))         (not             (attribute ?G CorrosiveSubstance)))     (equal ?H HazardousMiscellaneous))	Transportation.kif 4330-4343	Atributo e' um atributo de Objeto Objeto e' uma instancia de Substancia Atributo e' uma instancia de HazardousMaterialTransportAttribute HazardousExplosives e' um atributo de Objeto HazardousGases e' um atributo de Objeto FlammableLiquid e' um atributo de Objeto FlammableSolid e' um atributo de Objeto OxidizingSubstance e' um atributo de Objeto ToxicandInfectiousSubstance e' um atributo de Objeto RadioactiveSubstance e' um atributo de Objeto CorrosiveSubstance e' um atributo de Objeto equal Atributo and HazardousMiscellaneous
(=>     (and         (attribute ?G CorrosiveSubstance)         (instance ?G Substance))     (capability Corrosion instrument ?G))	Transportation.kif 4248-4252	CorrosiveSubstance e' um atributo de Objeto Objeto e' uma instancia de Substancia Objeto e' capaz de fazer Corrosion no role instrument
(=>     (and         (attribute ?G RadioactiveSubstance)         (instance ?G Substance))     (exists (?R)         (and             (instance ?R RadiatingNuclear)             (origin ?R ?G))))	Transportation.kif 4234-4241	RadioactiveSubstance e' um atributo de Objeto Objeto e' uma instancia de Substancia Processo Processo e' uma instancia de RadiatingNuclear Processo tem como origem Objeto
(=>     (and         (attribute ?G ToxicandInfectiousSubstance)         (or             (instance ?G Substance)             (instance ?G Microorganism)))     (exists (?O ?P ?I ?CLASS)         (and             (or                 (instance ?O Human)                 (instance ?O Animal))             (orientation ?G ?O Near)             (or                 (instance ?P Inhaling)                 (instance ?P Ingesting)                 (instance ?P Touching))             (agent ?P ?O)             (patient ?P ?G)             (causes ?P ?I)             (patient ?I ?O)             (instance ?I ?CLASS)             (capability ?CLASS resource ?G)             (or                 (subclass ?CLASS Injuring)                 (subclass ?CLASS Death)))))	Transportation.kif 4203-4227	ToxicandInfectiousSubstance e' um atributo de Objeto Objeto e' uma instancia de Substancia Objeto e' uma instancia de Microorganismo AutonomousAgent Processo, Processo and Processo AutonomousAgent e' uma instancia de Humano AutonomousAgent e' uma instancia de Animal Objeto e' Near em relacao a AutonomousAgent Processo e' uma instancia de Inhaling Processo e' uma instancia de Ingerir Processo e' uma instancia de Tocar Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo Processo causa Processo AutonomousAgent e' um patient de Processo Processo e' uma instancia de Processo Objeto e' capaz de fazer Processo no role resource Processo e' uma sub-classe de Ferir Processo e' uma sub-classe de Morte
(=>     (and         (attribute ?H ?ATHLETE)         (instance ?ATHLETE Athlete))     (hasSkill Sport ?ATHLETE))	Sports.kif 93-97	AutonomousAgent e' um atributo de Objeto AutonomousAgent e' uma instancia de Athlete AutonomousAgent tem a capacidade de fazer Esporte
(=>     (and         (attribute ?H ?D)         (diseaseTreatment ?D ?P)         (instance ?TP TherpeuticProcess)         (agent ?TP ?DOC)         (patient ?TP ?H)         (attribute ?DOC MedicalDoctor))     (modalAttribute         (instance ?TP ?P) Possibility))	Medicine.kif 5836-5846	Doenca ou Sindrome e' um atributo de Objeto diseaseTreatment Doenca ou Sindrome and Processo Terapeutico Processo e' uma instancia de TherpeuticProcess Processo e' um agente de Doenca ou SindromeOC Objeto e' um patient de Processo MedicalDoctor e' um atributo de Doenca ou SindromeOC o argumento Processo e' uma instancia de Processo Terapeutico tem a forca modal de Possibility
(=>     (and         (attribute ?H Anemia)         (instance ?B Blood)         (part ?B ?H)         (attribute ?H Female)         (measure ?B             (MeasureFn 0.1 Liter))         (instance ?HE Hemoglobin)         (part ?HE ?B)         (not             (instance ?HE2 Hemoglobin))         (not             (equal ?HE ?HE2))         (part ?H2 ?B)         (measure ?HE             (MeasureFn ?N Gram)))     (lessThan ?N 12))	Medicine.kif 172-187	Anemia e' um atributo de Objeto Objeto e' uma instancia de Sangue Objeto e' uma &parte de Objeto Female e' um atributo de Objeto a medida de Objeto e' 0.1 Liter(s) ObjetoE e' uma instancia de Hemoglobin ObjetoE e' uma &parte de Objeto ObjetoE2 e' uma instancia de Hemoglobin equal ObjetoE and ObjetoE2 Objeto2 e' uma &parte de Objeto a medida de ObjetoE e' Numero Real Gram(s) Numero Real e' menos que 12
(=>     (and         (attribute ?H Anemia)         (instance ?B Blood)         (part ?B ?H)         (attribute ?H Male)         (measure ?B             (MeasureFn 0.1 Liter))         (instance ?HE Hemoglobin)         (part ?HE ?B)         (not             (instance ?HE2 Hemoglobin))         (not             (equal ?HE ?HE2))         (part ?H2 ?B)         (measure ?HE             (MeasureFn ?N Gram)))     (lessThan ?N 13))	Medicine.kif 155-170	Anemia e' um atributo de Objeto Objeto e' uma instancia de Sangue Objeto e' uma &parte de Objeto Male e' um atributo de Objeto a medida de Objeto e' 0.1 Liter(s) ObjetoE e' uma instancia de Hemoglobin ObjetoE e' uma &parte de Objeto ObjetoE2 e' uma instancia de Hemoglobin equal ObjetoE and ObjetoE2 Objeto2 e' uma &parte de Objeto a medida de ObjetoE e' Numero Real Gram(s) Numero Real e' menos que 13
(=>     (and         (attribute ?H Healthy)         (restingBreathingRate ?H ?R))     (and         (greaterThanOrEqualTo ?R 12)         (greaterThanOrEqualTo 16 ?R)))	Medicine.kif 347-353	Healthy e' um atributo de Mamifero restingBreathingRate Mamifero and Numero Inteiro Numero Inteiro e' maior ou igual a 12 16 e' maior ou igual a Numero Inteiro
(=>     (and         (attribute ?H Muslim)         (equal             (WealthFn ?H) ?W))     (modalAttribute         (exists (?Z ?T ?U ?Y ?C)             (and                 (instance ?Z Zakat)                 (instance ?Y Year)                 (during ?Y                     (WhenFn ?H))                 (holdsDuring ?Y                     (attribute ?H FullyFormed))                 (agent ?Z ?H)                 (patient ?Z ?T)                 (monetaryValue ?T                     (MeasureFn ?C ?U))                 (instance ?U UnitOfCurrency)                 (greaterThan ?C                     (MultiplicationFn ?W 0.025)))) Obligation))	ArabicCulture.kif 204-223	Muslim e' um atributo de AutonomousAgent equal valor da propriedade de AutonomousAgent and Medida de Divisa o argumento Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Zakat Entidade e' uma instancia de Ano Entidade acontece durante tempo de existencia de AutonomousAgent FullyFormed e' um atributo de AutonomousAgent vale durante Entidade Entidade e' um agente de AutonomousAgent Entidade e' um patient de Entidade o valor de Entidade e' Entidade Entidade(s) Entidade e' uma instancia de UnitOfCurrency Entidade e' maior que Medida de Divisa + 0.025 tem a forca modal de Obligation
(=>     (and         (attribute ?H1 ADHD)         (not             (attribute ?H2 ADHD))         (not             (equal ?H1 ?H2))         (instance ?I1 ?IC)         (instance ?I2 ?IC)         (subclass ?IC IntentionalPsychologicalProcess)         (agent ?I1 ?H1)         (agent ?I2 ?H2)         (duration             (WhenFn ?I1) ?D1)         (duration             (WhenFn ?I2) ?D2))     (modalAttribute         (greaterThan ?D2 ?D1) Likely))	Medicine.kif 3987-4007	ADHD e' um atributo de AutonomousAgent ADHD e' um atributo de AutonomousAgent equal AutonomousAgent and AutonomousAgent Processo e' uma instancia de Classe Processo e' uma instancia de Classe Classe e' uma sub-classe de Processo Psicologico Intencional Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent a duracao de tempo de existencia de Processo e' Duracao Temporal a duracao de tempo de existencia de Processo e' Duracao Temporal o argumento Duracao Temporal e' maior que Duracao Temporal tem a forca modal de Likely
(=>     (and         (attribute ?I Inhabited)         (instance ?I Region))     (exists (?H)         (and             (instance ?H Human)             (inhabits ?H ?I))))	Mid-level-ontology.kif 32012-32019	Inhabited e' um atributo de Objeto Objeto e' uma instancia de Regiao Organismo Organismo e' uma instancia de Humano Organismo vive em Objeto
(=>     (and         (attribute ?INDIVIDUAL ?CH)         (instance ?CH Christian))     (member ?INDIVIDUAL Christianity))	People.kif 795-799	Atributo e' um atributo de Objeto Atributo e' uma instancia de Christian Objeto e' membro de Christianity
(=>     (and         (attribute ?LISTING ?ATTRIBUTE)         (instance ?ATTRIBUTE ListingAttribute))     (instance ?LISTING WebListing))	UXExperimentalTerms.kif 299-303	Atributo e' um atributo de Objeto Atributo e' uma instancia de ListingAttribute Objeto e' uma instancia de WebListing
(=>     (and         (attribute ?M DemoRecording)         (instance ?M Recording))     (hasPurpose ?M         (exists (?D ?G ?MUSIC)             (and                 (instance ?D Demonstrating)                 (record ?M ?MUSIC)                 (patient ?D ?MUSIC)                 (destination ?D ?G)                 (instance ?G GroupOfPeople)))))	Music.kif 410-421	DemoRecording e' um atributo de Objeto Objeto e' uma instancia de Recording Objeto tem por fim Entidade Entidade and ObjetoUSIC Entidade e' uma instancia de Demonstrating record Objeto and ObjetoUSIC ObjetoUSIC e' um patient de Entidade Entidade termina em Entidade Entidade e' uma instancia de GroupOfPeople
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