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	Il numero 1 argomenti di attribute è un istanza di Oggetto
(domain attribute 2 Attribute)	Merge.kif 1721-1721	Il numero 2 argomenti di attribute è un istanza di Attributo
(instance attribute AsymmetricRelation)	Merge.kif 1715-1715	attribute è un' istanza di RelazioneAsimmetrica
(instance attribute BinaryPredicate)	Merge.kif 1718-1718	attribute è un' istanza di PredicatoBinario
(instance attribute IrreflexiveRelation)	Merge.kif 1716-1716	attribute è un' istanza di RelazioneNonRiflessiva
(instance attribute TotalValuedRelation)	Merge.kif 1717-1717	attribute è un' istanza di RelazioneAValoreTotale
(subrelation attribute property)	Merge.kif 1719-1719	attribute è una sottorelazione di property

appearance as argument number 2

(disjointRelation manner attribute)	Merge.kif 1734-1734	manner e attribute sono disgiunti
(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 è una sottorelazione di attribute
(subrelation color attribute)	Mid-level-ontology.kif 19385-19385	color è una sottorelazione di attribute
(subrelation creditRanking attribute)	FinancialOntology.kif 2501-2501	creditRanking è una sottorelazione di attribute
(subrelation developmentalForm attribute)	Merge.kif 14367-14367	developmentalForm è una sottorelazione di attribute
(subrelation deviceState attribute)	Mid-level-ontology.kif 1873-1873	deviceState è una sottorelazione di attribute
(subrelation economyType attribute)	Economy.kif 86-86	economyType è una sottorelazione di attribute
(subrelation governmentType attribute)	Government.kif 130-130	governmentType è una sottorelazione di attribute
(subrelation hasGUEState attribute)	ComputerInput.kif 1882-1882	hasGUEState è una sottorelazione di attribute
(subrelation hasMolecularStructuralAttribute attribute)	VirusProteinAndCellPart.kif 163-163	hasMolecularStructuralAttribute è una sottorelazione di attribute
(subrelation hostStatus attribute)	QoSontology.kif 2109-2109	hostStatus è una sottorelazione di 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 30202-30212	Entit� è un' istanza di ParteDelCorpo attribute Entit� and Bare vales durante PosizioneTemporale Entit� Entit� è un' istanza di Vestito covers Entit� and Entit� vales durante PosizioneTemporale
(<=> (attribute ?H LiteracyAttribute) (and (hasSkill Reading ?H) (hasSkill Writing ?H)))	Mid-level-ontology.kif 15027-15031	attribute AutonomousAgent and LiteracyAttribute AutonomousAgent ha &n la capacità di fare Leggere AutonomousAgent ha &n la capacità di fare Scrivere
(<=> (attribute ?I (BeliefGroupMemberFn ?BG)) (member ?I ?BG))	People.kif 676-678	attribute Oggetto and BeliefGroupMemberFn BeliefGroup Oggetto è un membro di BeliefGroup
(<=> (attribute ?INDIVIDUAL Agnostic) (member ?INDIVIDUAL Agnosticism))	People.kif 702-704	attribute Oggetto and Agnostic Oggetto è un membro di Agnosticism
(<=> (attribute ?INDIVIDUAL AhmadiyyaMuslim) (member ?INDIVIDUAL AhmadiyyaSect))	People.kif 1347-1349	attribute Oggetto and AhmadiyyaMuslim Oggetto è un membro di AhmadiyyaSect
(<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL Anglicanism))	People.kif 1225-1227	attribute Oggetto and Anglican Oggetto è un membro di Anglicanism
(<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL ChurchOfEngland))	People.kif 1233-1235	attribute Oggetto and Anglican Oggetto è un membro di ChurchOfEngland
(<=> (attribute ?INDIVIDUAL Atheist) (member ?INDIVIDUAL Atheism))	People.kif 720-722	attribute Oggetto and Atheist Oggetto è un membro di Atheism
(<=> (attribute ?INDIVIDUAL Bahai) (member ?INDIVIDUAL Bahaism))	People.kif 757-759	attribute Oggetto and Bahai Oggetto è un membro di Bahaism
(<=> (attribute ?INDIVIDUAL Buddhist) (member ?INDIVIDUAL Buddhism))	People.kif 769-771	attribute Oggetto and Buddhist Oggetto è un membro di Buddhism
(<=> (attribute ?INDIVIDUAL Confucianist) (member ?INDIVIDUAL Confucianism))	People.kif 1306-1308	attribute Oggetto and Confucianist Oggetto è un membro di Confucianism
(<=> (attribute ?INDIVIDUAL DruzeMuslim) (member ?INDIVIDUAL DruzeSect))	People.kif 1361-1363	attribute Oggetto and DruzeMuslim Oggetto è un membro di DruzeSect
(<=> (attribute ?INDIVIDUAL EasternOrthodoxChristian) (member ?INDIVIDUAL EasternOrthodoxChristianity))	People.kif 1247-1249	attribute Oggetto and EasternOrthodoxChristian Oggetto è un membro di EasternOrthodoxChristianity
(<=> (attribute ?INDIVIDUAL Hindu) (member ?INDIVIDUAL Hinduism))	People.kif 1318-1320	attribute Oggetto and Hindu Oggetto è un membro di Hinduism
(<=> (attribute ?INDIVIDUAL Jain) (member ?INDIVIDUAL Jainism))	People.kif 1411-1413	attribute Oggetto and Jain Oggetto è un membro di Jainism
(<=> (attribute ?INDIVIDUAL Muslim) (member ?INDIVIDUAL Islam))	People.kif 1330-1332	attribute Oggetto and Muslim Oggetto è un membro di Islam
(<=> (attribute ?INDIVIDUAL Neopaganismist) (member ?INDIVIDUAL Neopaganism))	People.kif 1457-1459	attribute Oggetto and Neopaganismist Oggetto è un membro di Neopaganism
(<=> (attribute ?INDIVIDUAL Protestant) (member ?INDIVIDUAL Protestantism))	People.kif 1261-1263	attribute Oggetto and Protestant Oggetto è un membro di Protestantism
(<=> (attribute ?INDIVIDUAL ReligiousJew) (member ?INDIVIDUAL Judaism))	People.kif 1428-1430	attribute Oggetto and ReligiousJew Oggetto è un membro di Judaism
(<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicChurch))	People.kif 1283-1285	attribute Oggetto and RomanCatholic Oggetto è un membro di RomanCatholicChurch
(<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicism))	People.kif 1275-1277	attribute Oggetto and RomanCatholic Oggetto è un membro di RomanCatholicism
(<=> (attribute ?INDIVIDUAL ShiaMuslim) (member ?INDIVIDUAL ShiiteSect))	People.kif 1377-1379	attribute Oggetto and ShiaMuslim Oggetto è un membro di ShiiteSect
(<=> (attribute ?INDIVIDUAL Shintoist) (member ?INDIVIDUAL Shinto))	People.kif 1472-1474	attribute Oggetto and Shintoist Oggetto è un membro di Shinto
(<=> (attribute ?INDIVIDUAL Sikh) (member ?INDIVIDUAL Sikhism))	People.kif 1487-1489	attribute Oggetto and Sikh Oggetto è un membro di Sikhism
(<=> (attribute ?INDIVIDUAL SunniMuslim) (member ?INDIVIDUAL SunniSect))	People.kif 1396-1398	attribute Oggetto and SunniMuslim Oggetto è un membro di 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	Anno è un' istanza di l' anno AnnoEAR MaleLifeExpectancyAtBirthFn AreaGeopolitica and Anno is uguale a NumeroReale Lista NumeroIntero, Stringa, Entit�, Entit� and Entit� Lista è un' istanza di Lista lunghezza di Lista è un' istanza di NumeroIntero ListaITEM ListaITEM è un Lista ListaITEM è un' istanza di Stringa Entit� Entit� è un' istanza di Stringa Entit� è un Lista NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa average Lista and NumeroReale
(<=> (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	Anno è un' istanza di l' anno NumeroIntero FemaleLifeExpectancyAtBirthFn AreaGeopolitica and Anno is uguale a NumeroReale Lista NumeroIntero, Stringa, Entit�, Entit� and Entit� Lista è un' istanza di Lista lunghezza di Lista è un' istanza di NumeroIntero ListaITEM ListaITEM è un Lista ListaITEM è un' istanza di Stringa Entit� Entit� è un' istanza di Stringa Entit� è un Lista NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa average Lista and NumeroReale
(<=> (attribute ?Q Queen) (or (attribute ?Q QueenRegnant) (attribute ?Q QueenConsort)))	Government.kif 1364-1368	attribute Oggetto and Queen attribute Oggetto and QueenRegnant attribute Oggetto and QueenConsort
(<=> (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 AreaGeopolitica is uguale a NumeroReale NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa NumeroIntero + NumeroIntero is uguale a NumeroReale
(<=> (hearingAcuity ?H (MeasureFn -10 Decibel) (MeasureFn 15 Decibel)) (attribute ?H NormalHearingSensitivity))	Medicine.kif 1783-1787	hearingAcuity Umano, -10 Decibel(s and 15 Decibel(s attribute Umano and NormalHearingSensitivity
(<=> (hearingAcuity ?H (MeasureFn 16 Decibel) (MeasureFn 25 Decibel)) (attribute ?H BorderlineHearingSensitivity))	Medicine.kif 1794-1798	hearingAcuity Umano, 16 Decibel(s and 25 Decibel(s attribute Umano and BorderlineHearingSensitivity
(<=> (hearingAcuity ?H (MeasureFn 26 Decibel) (MeasureFn 40 Decibel)) (attribute ?H MildHearingLoss))	Medicine.kif 1805-1809	hearingAcuity Umano, 26 Decibel(s and 40 Decibel(s attribute Umano and MildHearingLoss
(<=> (hearingAcuity ?H (MeasureFn 41 Decibel) (MeasureFn 55 Decibel)) (attribute ?H ModerateHearingLoss))	Medicine.kif 1815-1819	hearingAcuity Umano, 41 Decibel(s and 55 Decibel(s attribute Umano and ModerateHearingLoss
(<=> (hearingAcuity ?H (MeasureFn 56 Decibel) (MeasureFn 70 Decibel)) (attribute ?H ModeratelySevereHearingLoss))	Medicine.kif 1826-1830	hearingAcuity Umano, 56 Decibel(s and 70 Decibel(s attribute Umano and ModeratelySevereHearingLoss
(<=> (hearingAcuity ?H (MeasureFn 71 Decibel) (MeasureFn 90 Decibel)) (attribute ?H SevereHearingLoss))	Medicine.kif 1837-1841	hearingAcuity Umano, 71 Decibel(s and 90 Decibel(s attribute Umano and SevereHearingLoss
(<=> (hearingAcuity ?H (MeasureFn 91 Decibel) (MeasureFn 200 Decibel)) (attribute ?H ProfoundHearingLoss))	Medicine.kif 1848-1852	hearingAcuity Umano, 91 Decibel(s and 200 Decibel(s attribute Umano and ProfoundHearingLoss
(<=> (holdsDuring ?T (and (instance ?PERSON Human) (forall (?ORG) (not (employs ?ORG ?PERSON))))) (holdsDuring ?T (attribute ?PERSON Unemployed)))	Merge.kif 17325-17333	Entit� è un' istanza di Umano Entit� Entit� non impiega Entit� vales durante PosizioneTemporale attribute Entit� and Unemployed vales durante PosizioneTemporale
(<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Female)))	Mid-level-ontology.kif 20227-20231	Oggetto è un' istanza di Bull Oggetto è un' istanza di Cattle attribute Oggetto and Female
(<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Male)))	Mid-level-ontology.kif 20245-20249	Oggetto è un' istanza di Bull Oggetto è un' istanza di Cattle attribute Oggetto and Male
(<=> (instance ?C Calf) (and (instance ?C Cattle) (attribute ?C NonFullyFormed)))	Mid-level-ontology.kif 20236-20240	Oggetto è un' istanza di Calf Oggetto è un' istanza di Cattle attribute Oggetto and NonFullyFormed
(<=> (instance ?DV DamagedVehicle) (and (instance ?DV Vehicle) (attribute ?DV DeviceDamaged)))	Mid-level-ontology.kif 30118-30122	Oggetto è un' istanza di DamagedVehicle Oggetto è un' istanza di Vehicle attribute Oggetto and DeviceDamaged
(<=> (instance ?H Hen) (and (instance ?H Chicken) (attribute ?H Female)))	Mid-level-ontology.kif 20259-20263	Oggetto è un' istanza di Hen Oggetto è un' istanza di Chicken attribute Oggetto and Female
(<=> (instance ?ICE Ice) (and (instance ?ICE Water) (attribute ?ICE Solid)))	Mid-level-ontology.kif 9006-9010	Oggetto è un' istanza di Ice Oggetto è un' istanza di Acqua attribute Oggetto and Solid
(<=> (instance ?L Lamb) (and (instance ?L Sheep) (attribute ?L NonFullyFormed)))	Mid-level-ontology.kif 20213-20217	Oggetto è un' istanza di Lamb Oggetto è un' istanza di Sheep attribute Oggetto and NonFullyFormed
(<=> (instance ?R Rooster) (and (instance ?R Chicken) (attribute ?R Male)))	Mid-level-ontology.kif 20268-20272	Oggetto è un' istanza di Rooster Oggetto è un' istanza di Chicken attribute Oggetto and Male
(=> (accommodationProvider ?PKG ?HOTEL) (attribute ?HOTEL TravelerAccommodation))	Hotel.kif 2768-2770	accommodationProvider HotelPackage and Organizzazione attribute Organizzazione and TravelerAccommodation
(=> (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 16879-16888	almaMater Umano and PostSecondarySchool Processo Processo è un' istanza di ProcessoEducazionale Processo fines in Umano eventLocated Processo and PostSecondarySchool attribute Umano and Student vales durante il tempo di esistenza di Processo
(=> (and (actedIn ?ACTOR ?O) (instance ?PERF DramaticActing) (patient ?PERF ?ACTOR) (result ?PERF ?O)) (holdsDuring (WhenFn ?PERF) (attribute ?ACTOR Actor)))	Mid-level-ontology.kif 20787-20794	actedIn Umano and ContentBearingPhysical Processo è un' istanza di DramaticActing Umano è un paziente di Processo ContentBearingPhysical è un risultato di Processo attribute Umano and Actor vales durante il tempo di esistenza di Processo
(=> (and (agent ?PROCESS ?AGENT) (result ?PROCESS ?WORK) (instance ?WORK ArtWork)) (holdsDuring (WhenFn ?PROCESS) (attribute ?AGENT Artist)))	Mid-level-ontology.kif 18864-18870	Processo è un agente di AutonomousAgent Entit� è un risultato di Processo Entit� è un' istanza di OperaD'Arte attribute AutonomousAgent and Artist vales durante il tempo di esistenza di 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	attribute AutonomousAgent and Muslim valore delle appartenenze di AutonomousAgent is uguale a MisuraMonetaria l'affermazione Entit� Entit�, Entit�, Entit� and Entit� Entit� è un' istanza di Zakat Entit� è un' istanza di Anno Entit� has luogodurante il tempo di esistenza di AutonomousAgent attribute AutonomousAgent and FullyFormed vales durante Entit� Entit� è un agente di AutonomousAgent Entit� è un paziente di Entit� valore di Entit� è Entit� Entit�(s Entit� è un' istanza di UnitOfCurrency Entit� è più grande di MisuraMonetaria + 0.025 ha il modello di forza di 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	Anno è un' istanza di l' anno NumeroIntero ChildrenBornPerWomanFn AreaGeopolitica and Anno is uguale a il numero di istanzia in la classe descritta da Stringa
(containsInformation (forall (?AGENT ?VOTER ?ELECTION ?VOTING) (=> (and (instance ?ELECTION (ElectionFn ?AGENT)) (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER)) (attribute ?VOTER Male))) ExclusiveMaleSuffrage)	Government.kif 1205-1212	?AGENT ?VOTER, ?ELECTION and ?VOTING ?ELECTION è un' istanza di ElectionFn ?AGENT ?VOTING è un' istanza di VotingFn ?ELECTION ?VOTING è un agente di ?VOTER attribute ?VOTER and Male contienes informazione 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	decreasesLikelihood biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE è un' istanza di ?SUBSTANCE ?THERAPY è un' istanza di ?PROCESS ?ORGANISM esperisces ?THERAPY ?SAMPLE è un paziente di ?THERAPY and attribute ?ORGANISM and ?SYMPTOM
(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 863-872	AvailableForMilitaryServiceMaleFn AreaGeopolitica is uguale a il numero di istanzia in la classe descritta da Stringa
(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 886-897	FitForMilitaryServiceMaleFn AreaGeopolitica is uguale a il numero di istanzia in la classe descritta da Stringa
(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 924-937	ReachingMilitaryAgeAnnuallyMaleFn AreaGeopolitica and Anno is uguale a il numero di istanzia in la classe descritta da Stringa
(exists (?H) (and (attribute ?H NewReporter) (employs ProPublica ?H)))	Medicine.kif 4590-4593	AgenteCognitivo attribute AgenteCognitivo and NewReporter ProPublica impiegas AgenteCognitivo
(exists (?MEAL ?REGION) (attribute ?MEAL (MealAttributeFn ?MEAL ?REGION)))	Food.kif 1902-1903	Meal Regione attribute Meal and MealAttributeFn Meal and Regione
(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 è un' istanza di ?PROCESSTYPE ?ORGANISM esperisces ?PROCESS aumentas la verosimiglianza di attribute ?ORGANISM and ?SYMPTOM

appearance as argument number 0

(attribute Hay Fodder)	Mid-level-ontology.kif 20428-20428	attribute Hay and Fodder
(attribute SouthernOcean PolarClimateZone)	Geography.kif 4681-4681	attribute SouthernOcean and PolarClimateZone
(attribute Tourniquet RelationalAttribute)	Medicine.kif 15-15	attribute Tourniquet and AttributoRelazionale

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: