attribute - Sigma Knowledge base Browser

appearance as argument number 1

(documentation attribute ChineseLanguage "(attribute ?OBJECT ?PROPERTY) 的意思是 ?PROPERTY 是 ?OBJECT 的 Attribute。例如：(attribute MyLittleRedWagon Red)。")	chinese_format.kif 1714-1715
(documentation attribute EnglishLanguage "(attribute ?OBJECT ?PROPERTY) means that ?PROPERTY is a Attribute of ?OBJECT. For example, (attribute MyLittleRedWagon Red).")	Merge.kif 1723-1725
(documentation attribute JapaneseLanguage "(attribute ?OBJECT ?PROPERTY) とは、 ?PROPERTY が、?OBJECTの Attribute という意味である。例：(attribute MyLittleRedWagon Red)。")	japanese_format.kif 318-319
(domain attribute 1 Object)	Merge.kif 1720-1720	O argumento numero 1 de attribute e' uma instancia de Objeto
(domain attribute 2 Attribute)	Merge.kif 1721-1721	O argumento numero 2 de attribute e' uma instancia de Atributo
(instance attribute AsymmetricRelation)	Merge.kif 1715-1715	attribute e' uma instancia de Relacao Assimetrica
(instance attribute BinaryPredicate)	Merge.kif 1718-1718	attribute e' uma instancia de Predicado Binario
(instance attribute IrreflexiveRelation)	Merge.kif 1716-1716	attribute e' uma instancia de Relacao Irreflexiva
(instance attribute TotalValuedRelation)	Merge.kif 1717-1717	attribute e' uma instancia de Relacao Total
(subrelation attribute property)	Merge.kif 1719-1719	attribute e' uma sub-relacao de property

appearance as argument number 2

(disjointRelation manner attribute)	Merge.kif 1734-1734	manner e attribute sao disjuntos
(format ChineseLanguage attribute "%2 %n 是 %1 的 attribute")	chinese_format.kif 59-59
(format EnglishLanguage attribute "%2 is %n an attribute of %1")	english_format.kif 59-59
(format FrenchLanguage attribute "%2 est %n un attribut de %1")	french_format.kif 56-56
(format JapaneseLanguage attribute "%2 は %1 の attribute では %n")	japanese_format.kif 1878-1878
(format PortugueseLanguage attribute "%2 e' %n um atributo de %1")	portuguese_format.kif 8-8
(format cz attribute "%2 %p{je} %n{nen�} atributem %1")	relations-cz.txt 73-73
(format de attribute "%2 ist ein attribut von %1 %n{nicht}")	relations-de.txt 65-65
(format hi attribute "%1 kii eka visheshhataa %2 %n hai")	relations-hindi.txt 73-73
(format ro attribute "%2 %n{nu} este un attribute%t{atribut} pentru %1")	relations-ro.kif 75-75
(format sv attribute "%2 är %n{inte} ett attribut på %1")	relations-sv.txt 55-55
(format tg attribute "%1 %n may katangian ng %2")	relations-cb.txt 63-63
(subrelation bondRating attribute)	FinancialOntology.kif 2510-2510	bondRating e' uma sub-relacao de attribute
(subrelation color attribute)	Mid-level-ontology.kif 19358-19358	color e' uma sub-relacao de attribute
(subrelation creditRanking attribute)	FinancialOntology.kif 2501-2501	creditRanking e' uma sub-relacao de attribute
(subrelation developmentalForm attribute)	Merge.kif 14321-14321	developmentalForm e' uma sub-relacao de attribute
(subrelation deviceState attribute)	Mid-level-ontology.kif 1880-1880	deviceState e' uma sub-relacao de attribute
(subrelation economyType attribute)	Economy.kif 86-86	economyType e' uma sub-relacao de attribute
(subrelation governmentType attribute)	Government.kif 130-130	governmentType e' uma sub-relacao de attribute
(subrelation hasGUEState attribute)	ComputerInput.kif 1882-1882	hasGUEState e' uma sub-relacao de attribute
(subrelation hasMolecularStructuralAttribute attribute)	VirusProteinAndCellPart.kif 163-163	hasMolecularStructuralAttribute e' uma sub-relacao de attribute
(subrelation hostStatus attribute)	QoSontology.kif 2109-2109	hostStatus e' uma sub-relacao de attribute

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(<=> (and (instance ?B BodyPart) (holdsDuring ?T (attribute ?B Bare))) (holdsDuring ?T (not (exists (?C) (and (instance ?C Clothing) (covers ?C ?B))))))	Mid-level-ontology.kif 30178-30188	Entidade e' uma instancia de Parte do Corpo Bare e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Roupa covers Entidade and Entidade vale durante Posicao Temporal
(<=> (attribute ?H LiteracyAttribute) (and (hasSkill Reading ?H) (hasSkill Writing ?H)))	Mid-level-ontology.kif 15000-15004	LiteracyAttribute e' um atributo de AutonomousAgent AutonomousAgent tem a capacidade de fazer Ler AutonomousAgent tem a capacidade de fazer Escrever
(<=> (attribute ?I (BeliefGroupMemberFn ?BG)) (member ?I ?BG))	People.kif 676-678	BeliefGroupMemberFn BeliefGroup e' um atributo de Objeto Objeto e' membro de BeliefGroup
(<=> (attribute ?INDIVIDUAL Agnostic) (member ?INDIVIDUAL Agnosticism))	People.kif 702-704	Agnostic e' um atributo de Objeto Objeto e' membro de Agnosticism
(<=> (attribute ?INDIVIDUAL AhmadiyyaMuslim) (member ?INDIVIDUAL AhmadiyyaSect))	People.kif 1347-1349	AhmadiyyaMuslim e' um atributo de Objeto Objeto e' membro de AhmadiyyaSect
(<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL Anglicanism))	People.kif 1225-1227	Anglican e' um atributo de Objeto Objeto e' membro de Anglicanism
(<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL ChurchOfEngland))	People.kif 1233-1235	Anglican e' um atributo de Objeto Objeto e' membro de ChurchOfEngland
(<=> (attribute ?INDIVIDUAL Atheist) (member ?INDIVIDUAL Atheism))	People.kif 720-722	Atheist e' um atributo de Objeto Objeto e' membro de Atheism
(<=> (attribute ?INDIVIDUAL Bahai) (member ?INDIVIDUAL Bahaism))	People.kif 757-759	Bahai e' um atributo de Objeto Objeto e' membro de Bahaism
(<=> (attribute ?INDIVIDUAL Buddhist) (member ?INDIVIDUAL Buddhism))	People.kif 769-771	Buddhist e' um atributo de Objeto Objeto e' membro de Buddhism
(<=> (attribute ?INDIVIDUAL Confucianist) (member ?INDIVIDUAL Confucianism))	People.kif 1306-1308	Confucianist e' um atributo de Objeto Objeto e' membro de Confucianism
(<=> (attribute ?INDIVIDUAL DruzeMuslim) (member ?INDIVIDUAL DruzeSect))	People.kif 1361-1363	DruzeMuslim e' um atributo de Objeto Objeto e' membro de DruzeSect
(<=> (attribute ?INDIVIDUAL EasternOrthodoxChristian) (member ?INDIVIDUAL EasternOrthodoxChristianity))	People.kif 1247-1249	EasternOrthodoxChristian e' um atributo de Objeto Objeto e' membro de EasternOrthodoxChristianity
(<=> (attribute ?INDIVIDUAL Hindu) (member ?INDIVIDUAL Hinduism))	People.kif 1318-1320	Hindu e' um atributo de Objeto Objeto e' membro de Hinduism
(<=> (attribute ?INDIVIDUAL Jain) (member ?INDIVIDUAL Jainism))	People.kif 1411-1413	Jain e' um atributo de Objeto Objeto e' membro de Jainism
(<=> (attribute ?INDIVIDUAL Muslim) (member ?INDIVIDUAL Islam))	People.kif 1330-1332	Muslim e' um atributo de Objeto Objeto e' membro de Islam
(<=> (attribute ?INDIVIDUAL Neopaganismist) (member ?INDIVIDUAL Neopaganism))	People.kif 1457-1459	Neopaganismist e' um atributo de Objeto Objeto e' membro de Neopaganism
(<=> (attribute ?INDIVIDUAL Protestant) (member ?INDIVIDUAL Protestantism))	People.kif 1261-1263	Protestant e' um atributo de Objeto Objeto e' membro de Protestantism
(<=> (attribute ?INDIVIDUAL ReligiousJew) (member ?INDIVIDUAL Judaism))	People.kif 1428-1430	ReligiousJew e' um atributo de Objeto Objeto e' membro de Judaism
(<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicChurch))	People.kif 1283-1285	RomanCatholic e' um atributo de Objeto Objeto e' membro de RomanCatholicChurch
(<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicism))	People.kif 1275-1277	RomanCatholic e' um atributo de Objeto Objeto e' membro de RomanCatholicism
(<=> (attribute ?INDIVIDUAL ShiaMuslim) (member ?INDIVIDUAL ShiiteSect))	People.kif 1377-1379	ShiaMuslim e' um atributo de Objeto Objeto e' membro de ShiiteSect
(<=> (attribute ?INDIVIDUAL Shintoist) (member ?INDIVIDUAL Shinto))	People.kif 1472-1474	Shintoist e' um atributo de Objeto Objeto e' membro de Shinto
(<=> (attribute ?INDIVIDUAL Sikh) (member ?INDIVIDUAL Sikhism))	People.kif 1487-1489	Sikh e' um atributo de Objeto Objeto e' membro de Sikhism
(<=> (attribute ?INDIVIDUAL SunniMuslim) (member ?INDIVIDUAL SunniSect))	People.kif 1396-1398	SunniMuslim e' um atributo de Objeto Objeto e' membro de SunniSect

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

(<=> (and (instance ?Y (YearFn ?YEAR)) (equal (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Male) (during (WhenFn ?BIRTH) ?Y) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 357-390	Ano e' uma instancia de o ano AnoEAR MaleLifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM ListaITEM e' um membro de Lista ListaITEM e' uma instancia de Sequencia Simbolica Entidade Entidade e' uma instancia de Sequencia Simbolica Entidade e' um membro de Lista Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica average Lista and Numero Real
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Female) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 403-436	Ano e' uma instancia de o ano Numero Inteiro FemaleLifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM ListaITEM e' um membro de Lista ListaITEM e' uma instancia de Sequencia Simbolica Entidade Entidade e' uma instancia de Sequencia Simbolica Entidade e' um membro de Lista Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica average Lista and Numero Real
(<=> (attribute ?Q Queen) (or (attribute ?Q QueenRegnant) (attribute ?Q QueenConsort)))	Government.kif 1400-1404	Queen e' um atributo de Objeto QueenRegnant e' um atributo de Objeto QueenConsort e' um atributo de Objeto
(<=> (equal (MaleToFemaleRatioFn ?AREA) ?REALNUMBER) (and (equal ?MALECOUNT (CardinalityFn (KappaFn ?MALE (and (instance ?MALE Human) (attribute ?MALE Male) (inhabits ?MALE ?AREA))))) (equal ?FEMALECOUNT (CardinalityFn (KappaFn ?FEMALE (and (instance ?FEMALE Human) (attribute ?FEMALE Female) (inhabits ?FEMALE ?AREA))))) (equal (DivisionFn ?MALECOUNT ?FEMALECOUNT) ?REALNUMBER)))	People.kif 206-223	MaleToFemaleRatioFn Area Geopolitica e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + Numero Inteiro e' igual a Numero Real
(<=> (hearingAcuity ?H (MeasureFn -10 Decibel) (MeasureFn 15 Decibel)) (attribute ?H NormalHearingSensitivity))	Medicine.kif 1783-1787	hearingAcuity Humano, -10 Decibel(s) and 15 Decibel(s) NormalHearingSensitivity e' um atributo de Humano
(<=> (hearingAcuity ?H (MeasureFn 16 Decibel) (MeasureFn 25 Decibel)) (attribute ?H BorderlineHearingSensitivity))	Medicine.kif 1794-1798	hearingAcuity Humano, 16 Decibel(s) and 25 Decibel(s) BorderlineHearingSensitivity e' um atributo de Humano
(<=> (hearingAcuity ?H (MeasureFn 26 Decibel) (MeasureFn 40 Decibel)) (attribute ?H MildHearingLoss))	Medicine.kif 1805-1809	hearingAcuity Humano, 26 Decibel(s) and 40 Decibel(s) MildHearingLoss e' um atributo de Humano
(<=> (hearingAcuity ?H (MeasureFn 41 Decibel) (MeasureFn 55 Decibel)) (attribute ?H ModerateHearingLoss))	Medicine.kif 1815-1819	hearingAcuity Humano, 41 Decibel(s) and 55 Decibel(s) ModerateHearingLoss e' um atributo de Humano
(<=> (hearingAcuity ?H (MeasureFn 56 Decibel) (MeasureFn 70 Decibel)) (attribute ?H ModeratelySevereHearingLoss))	Medicine.kif 1826-1830	hearingAcuity Humano, 56 Decibel(s) and 70 Decibel(s) ModeratelySevereHearingLoss e' um atributo de Humano
(<=> (hearingAcuity ?H (MeasureFn 71 Decibel) (MeasureFn 90 Decibel)) (attribute ?H SevereHearingLoss))	Medicine.kif 1837-1841	hearingAcuity Humano, 71 Decibel(s) and 90 Decibel(s) SevereHearingLoss e' um atributo de Humano
(<=> (hearingAcuity ?H (MeasureFn 91 Decibel) (MeasureFn 200 Decibel)) (attribute ?H ProfoundHearingLoss))	Medicine.kif 1848-1852	hearingAcuity Humano, 91 Decibel(s) and 200 Decibel(s) ProfoundHearingLoss e' um atributo de Humano
(<=> (holdsDuring ?T (and (instance ?PERSON Human) (forall (?ORG) (not (employs ?ORG ?PERSON))))) (holdsDuring ?T (attribute ?PERSON Unemployed)))	Merge.kif 17254-17262	Entidade e' uma instancia de Humano Entidade Entidade nao emprega %n Entidade vale durante Posicao Temporal Unemployed e' um atributo de Entidade vale durante Posicao Temporal
(<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Female)))	Mid-level-ontology.kif 20200-20204	Objeto e' uma instancia de Bull Objeto e' uma instancia de Cattle Female e' um atributo de Objeto
(<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Male)))	Mid-level-ontology.kif 20218-20222	Objeto e' uma instancia de Bull Objeto e' uma instancia de Cattle Male e' um atributo de Objeto
(<=> (instance ?C Calf) (and (instance ?C Cattle) (attribute ?C NonFullyFormed)))	Mid-level-ontology.kif 20209-20213	Objeto e' uma instancia de Calf Objeto e' uma instancia de Cattle NonFullyFormed e' um atributo de Objeto
(<=> (instance ?DV DamagedVehicle) (and (instance ?DV Vehicle) (attribute ?DV DeviceDamaged)))	Mid-level-ontology.kif 30094-30098	Objeto e' uma instancia de DamagedVehicle Objeto e' uma instancia de Vehicle DeviceDamaged e' um atributo de Objeto
(<=> (instance ?H Hen) (and (instance ?H Chicken) (attribute ?H Female)))	Mid-level-ontology.kif 20232-20236	Objeto e' uma instancia de Hen Objeto e' uma instancia de Chicken Female e' um atributo de Objeto
(<=> (instance ?ICE Ice) (and (instance ?ICE Water) (attribute ?ICE Solid)))	Mid-level-ontology.kif 8979-8983	Objeto e' uma instancia de Ice Objeto e' uma instancia de Agua Solid e' um atributo de Objeto
(<=> (instance ?L Lamb) (and (instance ?L Sheep) (attribute ?L NonFullyFormed)))	Mid-level-ontology.kif 20186-20190	Objeto e' uma instancia de Lamb Objeto e' uma instancia de Sheep NonFullyFormed e' um atributo de Objeto
(<=> (instance ?R Rooster) (and (instance ?R Chicken) (attribute ?R Male)))	Mid-level-ontology.kif 20241-20245	Objeto e' uma instancia de Rooster Objeto e' uma instancia de Chicken Male e' um atributo de Objeto
(=> (accommodationProvider ?PKG ?HOTEL) (attribute ?HOTEL TravelerAccommodation))	Hotel.kif 2768-2770	accommodationProvider HotelPackage and Organizacao TravelerAccommodation e' um atributo de Organizacao
(=> (almaMater ?PERSON ?SCHOOL) (exists (?EV) (and (instance ?EV EducationalProcess) (destination ?EV ?PERSON) (eventLocated ?EV ?SCHOOL) (holdsDuring (WhenFn ?EV) (attribute ?PERSON Student)))))	Mid-level-ontology.kif 16852-16861	almaMater Humano and PostSecondarySchool Processo Processo e' uma instancia de Processo Educacional Processo termina em Humano eventLocated Processo and PostSecondarySchool Student e' um atributo de Humano vale durante tempo de existencia de Processo
(=> (and (actedIn ?ACTOR ?O) (instance ?PERF DramaticActing) (patient ?PERF ?ACTOR) (result ?PERF ?O)) (holdsDuring (WhenFn ?PERF) (attribute ?ACTOR Actor)))	Mid-level-ontology.kif 20760-20767	actedIn Humano and ContentBearingPhysical Processo e' uma instancia de DramaticActing Humano e' um patient de Processo ContentBearingPhysical e' o resultado de Processo Actor e' um atributo de Humano vale durante tempo de existencia de Processo
(=> (and (agent ?PROCESS ?AGENT) (result ?PROCESS ?WORK) (instance ?WORK ArtWork)) (holdsDuring (WhenFn ?PROCESS) (attribute ?AGENT Artist)))	Mid-level-ontology.kif 18837-18843	Processo e' um agente de AutonomousAgent Entidade e' o resultado de Processo Entidade e' uma instancia de Objeto de Arte Artist e' um atributo de AutonomousAgent vale durante tempo de existencia de Processo
(=> (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 valor da propriedade de AutonomousAgent e' igual a 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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(and (instance ?YEAR (YearFn ?Y)) (equal (ChildrenBornPerWomanFn ?AREA ?YEAR) (CardinalityFn (KappaFn ?INFANT (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (agent ?BIRTH ?WOMAN) (instance ?WOMAN Human) (attribute ?WOMAN Female) (holdsDuring ?YEAR (inhabits ?WOMAN ?AREA)))))))	People.kif 456-469	Ano e' uma instancia de o ano Numero Inteiro ChildrenBornPerWomanFn Area Geopolitica and Ano e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
(containsInformation (forall (?AGENT ?VOTER ?ELECTION ?VOTING) (=> (and (instance ?ELECTION (ElectionFn ?AGENT)) (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER)) (attribute ?VOTER Male))) ExclusiveMaleSuffrage)	Government.kif 1241-1248	?AGENT ?VOTER, ?ELECTION and ?VOTING ?ELECTION e' uma instancia de ElectionFn ?AGENT ?VOTING e' uma instancia de VotingFn ?ELECTION ?VOTING e' um agente de ?VOTER Male e' um atributo de ?VOTER contem informacao ExclusiveMaleSuffrage
(decreasesLikelihood (and (biochemicalAgentSyndrome ?AGENT ?SYMPTOM) (biochemicalAgentAntidote ?AGENT ?SUBSTANCE ?PROCESS) (instance ?SAMPLE ?SUBSTANCE) (instance ?THERAPY ?PROCESS) (experiencer ?THERAPY ?ORGANISM) (patient ?THERAPY ?SAMPLE)) (attribute ?ORGANISM ?SYMPTOM))	WMD.kif 921-929	biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE e' uma instancia de ?SUBSTANCE ?THERAPY e' uma instancia de ?PROCESS ?ORGANISM experimenta ?THERAPY ?SAMPLE e' um patient de ?THERAPY diminui a probabilidade de ?SYMPTOM e' um atributo de ?ORGANISM
(equal (AvailableForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA)))))	Military.kif 872-881	AvailableForMilitaryServiceMaleFn Area Geopolitica e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
(equal (FitForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (subclass ?PROCESS MilitaryProcess) (fitForMilitaryService ?PERSON ?PROCESS) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA)))))	Military.kif 895-906	FitForMilitaryServiceMaleFn Area Geopolitica e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
(equal (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (equal ?AGEMINUSONE (SubtractionFn ?AGE 1)) (holdsDuring ?YEAR (or (age ?PERSON ?AGEMINUSONE) (age ?PERSON ?AGE))) (equal ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA)))))	Military.kif 933-946	ReachingMilitaryAgeAnnuallyMaleFn Area Geopolitica and Ano e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
(exists (?H) (and (attribute ?H NewReporter) (employs ProPublica ?H)))	Medicine.kif 4590-4593	Agente Cognitivo NewReporter e' um atributo de Agente Cognitivo ProPublica emprega Agente Cognitivo
(exists (?MEAL ?REGION) (attribute ?MEAL (MealAttributeFn ?MEAL ?REGION)))	Food.kif 1902-1903	Meal Regiao MealAttributeFn Meal and Regiao e' um atributo de Meal
(increasesLikelihood (and (biochemicalAgentSyndrome ?AGENT ?SYMPTOM) (biochemicalAgentDelivery ?AGENT ?PROCESSTYPE) (instance ?PROCESS ?PROCESSTYPE) (experiencer ?PROCESS ?ORGANISM)) (attribute ?ORGANISM ?SYMPTOM))	WMD.kif 767-773	biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentDelivery ?AGENT and ?PROCESSTYPE ?PROCESS e' uma instancia de ?PROCESSTYPE ?ORGANISM experimenta ?PROCESS aumenta a probabilidade de ?SYMPTOM e' um atributo de ?ORGANISM

appearance as argument number 0

(attribute Hay Fodder)	Mid-level-ontology.kif 20401-20401	Fodder e' um atributo de Hay
(attribute SouthernOcean PolarClimateZone)	Geography.kif 4681-4681	PolarClimateZone e' um atributo de SouthernOcean
(attribute Tourniquet RelationalAttribute)	Medicine.kif 15-15	Atributo Relacional e' um atributo de Tourniquet

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: