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 1733-1735
(documentation attribute JapaneseLanguage "(attribute ?OBJECT ?PROPERTY) とは、 ?PROPERTY が、?OBJECTの Attribute という意味である。例：(attribute MyLittleRedWagon Red)。")	japanese_format.kif 318-319
(domain attribute 1 Object)	Merge.kif 1730-1730	Le nombre 1 argument de attribute est une instance de objet
(domain attribute 2 Attribute)	Merge.kif 1731-1731	Le nombre 2 argument de attribute est une instance de attribut
(instance attribute AsymmetricRelation)	Merge.kif 1725-1725	attribute est une instance de relation asym�trique
(instance attribute BinaryPredicate)	Merge.kif 1728-1728	attribute est une instance de pr�dicat binaire
(instance attribute IrreflexiveRelation)	Merge.kif 1726-1726	attribute est une instance de relation irr�flexive
(instance attribute TotalValuedRelation)	Merge.kif 1727-1727	attribute est une instance de relation total
(subrelation attribute property)	Merge.kif 1729-1729	attribute est une sous-relation de property

appearance as argument number 2

(disjointRelation manner attribute)	Merge.kif 1744-1744	manner et attribute sont disjoint
(format ChineseLanguage attribute "%2 %n 是 %1 的 attribute")	chinese_format.kif 59-59	manner et attribute sont disjoint
(format EnglishLanguage attribute "%2 is %n an attribute of %1")	english_format.kif 59-59	manner et attribute sont disjoint
(format FrenchLanguage attribute "%2 est %n un attribut de %1")	french_format.kif 56-56	manner et attribute sont disjoint
(format JapaneseLanguage attribute "%2 は %1 の attribute では %n")	japanese_format.kif 1878-1878	manner et attribute sont disjoint
(format PortugueseLanguage attribute "%2 e' %n um atributo de %1")	portuguese_format.kif 8-8	manner et attribute sont disjoint
(format cz attribute "%2 %p{je} %n{nen�} atributem %1")	relations-cz.txt 73-73	manner et attribute sont disjoint
(format de attribute "%2 ist ein attribut von %1 %n{nicht}")	relations-de.txt 65-65	manner et attribute sont disjoint
(format hi attribute "%1 kii eka visheshhataa %2 %n hai")	relations-hindi.txt 73-73	manner et attribute sont disjoint
(format ro attribute "%2 %n{nu} este un attribute%t{atribut} pentru %1")	relations-ro.kif 75-75	manner et attribute sont disjoint
(format sv attribute "%2 är %n{inte} ett attribut på %1")	relations-sv.txt 55-55	manner et attribute sont disjoint
(format tg attribute "%1 %n may katangian ng %2")	relations-cb.txt 63-63	manner et attribute sont disjoint
(subrelation bondRating attribute)	FinancialOntology.kif 2527-2527	bondRating est une sous-relation de attribute
(subrelation color attribute)	Mid-level-ontology.kif 20929-20929	color est une sous-relation de attribute
(subrelation creditRanking attribute)	FinancialOntology.kif 2518-2518	creditRanking est une sous-relation de attribute
(subrelation developmentalForm attribute)	Merge.kif 14474-14474	developmentalForm est une sous-relation de attribute
(subrelation deviceState attribute)	Mid-level-ontology.kif 2343-2343	deviceState est une sous-relation de attribute
(subrelation economyType attribute)	Economy.kif 86-86	economyType est une sous-relation de attribute
(subrelation governmentType attribute)	Government.kif 130-130	governmentType est une sous-relation de attribute
(subrelation hasGUEState attribute)	ComputerInput.kif 1882-1882	hasGUEState est une sous-relation de attribute
(subrelation hasMolecularStructuralAttribute attribute)	VirusProteinAndCellPart.kif 167-167	hasMolecularStructuralAttribute est une sous-relation de attribute
(subrelation hostStatus attribute)	QoSontology.kif 2241-2241	hostStatus est une sous-relation 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 32096-32106	Entit� est une instance de partie du corps Bare est un attribut de entit� pendant position temporel entit� entit� est une instance de v�tement covers entit� and entit� pendant position temporel
(<=> (attribute ?H LiteracyAttribute) (and (hasSkill Reading ?H) (hasSkill Writing ?H)))	Mid-level-ontology.kif 16373-16377	LiteracyAttribute est un attribut de AutonomousAgent AutonomousAgent a la capacit� de faire lire AutonomousAgent a la capacit� de faire �crire
(<=> (attribute ?I (BeliefGroupMemberFn ?BG)) (member ?I ?BG))	People.kif 676-678	BeliefGroupMemberFn BeliefGroup est un attribut de objet objet est un membre de BeliefGroup
(<=> (attribute ?INDIVIDUAL Agnostic) (member ?INDIVIDUAL Agnosticism))	People.kif 702-704	Agnostic est un attribut de objet objet est un membre de Agnosticism
(<=> (attribute ?INDIVIDUAL AhmadiyyaMuslim) (member ?INDIVIDUAL AhmadiyyaSect))	People.kif 1348-1350	AhmadiyyaMuslim est un attribut de objet objet est un membre de AhmadiyyaSect
(<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL Anglicanism))	People.kif 1226-1228	Anglican est un attribut de objet objet est un membre de Anglicanism
(<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL ChurchOfEngland))	People.kif 1234-1236	Anglican est un attribut de objet objet est un membre de ChurchOfEngland
(<=> (attribute ?INDIVIDUAL Atheist) (member ?INDIVIDUAL Atheism))	People.kif 720-722	Atheist est un attribut de objet objet est un membre de Atheism
(<=> (attribute ?INDIVIDUAL Bahai) (member ?INDIVIDUAL Bahaism))	People.kif 757-759	Bahai est un attribut de objet objet est un membre de Bahaism
(<=> (attribute ?INDIVIDUAL Buddhist) (member ?INDIVIDUAL Buddhism))	People.kif 769-771	Buddhist est un attribut de objet objet est un membre de Buddhism
(<=> (attribute ?INDIVIDUAL Capitalist) (member ?INDIVIDUAL Capitalism))	Economy.kif 925-927	Capitalist est un attribut de objet objet est un membre de Capitalism
(<=> (attribute ?INDIVIDUAL Communism) (member ?INDIVIDUAL Communism))	Economy.kif 895-897	Communism est un attribut de objet objet est un membre de Communism
(<=> (attribute ?INDIVIDUAL Confucianist) (member ?INDIVIDUAL Confucianism))	People.kif 1307-1309	Confucianist est un attribut de objet objet est un membre de Confucianism
(<=> (attribute ?INDIVIDUAL DruzeMuslim) (member ?INDIVIDUAL DruzeSect))	People.kif 1362-1364	DruzeMuslim est un attribut de objet objet est un membre de DruzeSect
(<=> (attribute ?INDIVIDUAL EasternOrthodoxChristian) (member ?INDIVIDUAL EasternOrthodoxChristianity))	People.kif 1248-1250	EasternOrthodoxChristian est un attribut de objet objet est un membre de EasternOrthodoxChristianity
(<=> (attribute ?INDIVIDUAL Hindu) (member ?INDIVIDUAL Hinduism))	People.kif 1319-1321	Hindu est un attribut de objet objet est un membre de Hinduism
(<=> (attribute ?INDIVIDUAL Jain) (member ?INDIVIDUAL Jainism))	People.kif 1412-1414	Jain est un attribut de objet objet est un membre de Jainism
(<=> (attribute ?INDIVIDUAL Muslim) (member ?INDIVIDUAL Islam))	People.kif 1331-1333	Muslim est un attribut de objet objet est un membre de Islam
(<=> (attribute ?INDIVIDUAL Neopaganismist) (member ?INDIVIDUAL Neopaganism))	People.kif 1458-1460	Neopaganismist est un attribut de objet objet est un membre de Neopaganism
(<=> (attribute ?INDIVIDUAL Protestant) (member ?INDIVIDUAL Protestantism))	People.kif 1262-1264	Protestant est un attribut de objet objet est un membre de Protestantism
(<=> (attribute ?INDIVIDUAL ReligiousJew) (member ?INDIVIDUAL Judaism))	People.kif 1429-1431	ReligiousJew est un attribut de objet objet est un membre de Judaism
(<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicChurch))	People.kif 1284-1286	RomanCatholic est un attribut de objet objet est un membre de RomanCatholicChurch
(<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicism))	People.kif 1276-1278	RomanCatholic est un attribut de objet objet est un membre de RomanCatholicism
(<=> (attribute ?INDIVIDUAL ShiaMuslim) (member ?INDIVIDUAL ShiiteSect))	People.kif 1378-1380	ShiaMuslim est un attribut de objet objet est un membre de ShiiteSect
(<=> (attribute ?INDIVIDUAL Shintoist) (member ?INDIVIDUAL Shinto))	People.kif 1473-1475	Shintoist est un attribut de objet objet est un membre de Shinto

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	Ann�e est une instance de l' ann�e ann�eEAR equal MaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e and nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste equal nombre entier and le nombre d' instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
(<=> (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	Ann�e est une instance de l' ann�e nombre entier equal FemaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e and nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste equal nombre entier and le nombre d' instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
(<=> (attribute ?Q Queen) (or (attribute ?Q QueenRegnant) (attribute ?Q QueenConsort)))	Government.kif 1362-1366	Queen est un attribut de objet QueenRegnant est un attribut de objet QueenConsort est un attribut de objet
(<=> (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	equal MaleToFemaleRatioFn secteur g�opolitique and nombre r�el equal nombre entier and le nombre d' instances dans la classe d�crite par cha�ne sympbolique equal nombre entier and le nombre d' instances dans la classe d�crite par cha�ne sympbolique equal nombre entier + nombre entier and nombre r�el
(<=> (hearingAcuity ?H (MeasureFn -10 Decibel) (MeasureFn 15 Decibel)) (attribute ?H NormalHearingSensitivity))	Medicine.kif 1776-1780	hearingAcuity humain, -10 Decibel(s) and 15 Decibel(s) NormalHearingSensitivity est un attribut de humain
(<=> (hearingAcuity ?H (MeasureFn 16 Decibel) (MeasureFn 25 Decibel)) (attribute ?H BorderlineHearingSensitivity))	Medicine.kif 1787-1791	hearingAcuity humain, 16 Decibel(s) and 25 Decibel(s) BorderlineHearingSensitivity est un attribut de humain
(<=> (hearingAcuity ?H (MeasureFn 26 Decibel) (MeasureFn 40 Decibel)) (attribute ?H MildHearingLoss))	Medicine.kif 1798-1802	hearingAcuity humain, 26 Decibel(s) and 40 Decibel(s) MildHearingLoss est un attribut de humain
(<=> (hearingAcuity ?H (MeasureFn 41 Decibel) (MeasureFn 55 Decibel)) (attribute ?H ModerateHearingLoss))	Medicine.kif 1808-1812	hearingAcuity humain, 41 Decibel(s) and 55 Decibel(s) ModerateHearingLoss est un attribut de humain
(<=> (hearingAcuity ?H (MeasureFn 56 Decibel) (MeasureFn 70 Decibel)) (attribute ?H ModeratelySevereHearingLoss))	Medicine.kif 1819-1823	hearingAcuity humain, 56 Decibel(s) and 70 Decibel(s) ModeratelySevereHearingLoss est un attribut de humain
(<=> (hearingAcuity ?H (MeasureFn 71 Decibel) (MeasureFn 90 Decibel)) (attribute ?H SevereHearingLoss))	Medicine.kif 1830-1834	hearingAcuity humain, 71 Decibel(s) and 90 Decibel(s) SevereHearingLoss est un attribut de humain
(<=> (hearingAcuity ?H (MeasureFn 91 Decibel) (MeasureFn 200 Decibel)) (attribute ?H ProfoundHearingLoss))	Medicine.kif 1841-1845	hearingAcuity humain, 91 Decibel(s) and 200 Decibel(s) ProfoundHearingLoss est un attribut de humain
(<=> (holdsDuring ?T (and (instance ?PERSON Human) (forall (?ORG) (not (employs ?ORG ?PERSON))))) (holdsDuring ?T (attribute ?PERSON Unemployed)))	Merge.kif 17429-17437	Entit� est une instance de humain entit� entit� n' emploie entit� pendant position temporel Unemployed est un attribut de entit� pendant position temporel
(<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Female)))	Mid-level-ontology.kif 21817-21821	Objet est une instance de Bull objet est une instance de Cattle Female est un attribut de objet
(<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Male)))	Mid-level-ontology.kif 21835-21839	Objet est une instance de Bull objet est une instance de Cattle Male est un attribut de objet
(<=> (instance ?C Calf) (and (instance ?C Cattle) (attribute ?C NonFullyFormed)))	Mid-level-ontology.kif 21826-21830	Objet est une instance de Calf objet est une instance de Cattle NonFullyFormed est un attribut de objet
(<=> (instance ?DV DamagedVehicle) (and (instance ?DV Vehicle) (attribute ?DV DeviceDamaged)))	Mid-level-ontology.kif 31986-31990	Objet est une instance de DamagedVehicle objet est une instance de Vehicle DeviceDamaged est un attribut de objet
(<=> (instance ?H Hen) (and (instance ?H Chicken) (attribute ?H Female)))	Mid-level-ontology.kif 21849-21853	Objet est une instance de Hen objet est une instance de Chicken Female est un attribut de objet
(<=> (instance ?ICE Ice) (and (instance ?ICE Water) (attribute ?ICE Solid)))	Mid-level-ontology.kif 10185-10189	Objet est une instance de Ice objet est une instance de eau Solid est un attribut de objet
(<=> (instance ?L Lamb) (and (instance ?L Sheep) (attribute ?L NonFullyFormed)))	Mid-level-ontology.kif 21803-21807	Objet est une instance de Lamb objet est une instance de Sheep NonFullyFormed est un attribut de objet
(<=> (instance ?R Rooster) (and (instance ?R Chicken) (attribute ?R Male)))	Mid-level-ontology.kif 21858-21862	Objet est une instance de Rooster objet est une instance de Chicken Male est un attribut de objet
(=> (accommodationProvider ?PKG ?HOTEL) (attribute ?HOTEL TravelerAccommodation))	Hotel.kif 2779-2781	accommodationProvider HotelPackage and organisation TravelerAccommodation est un attribut de organisation
(=> (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 18239-18248	almaMater humain and PostSecondarySchool processus processus est une instance de processus educationnel processus aboutit � humain eventLocated processus and PostSecondarySchool Student est un attribut de humain pendant temps d'existence de processus
(=> (and (actedIn ?ACTOR ?O) (instance ?PERF DramaticActing) (patient ?PERF ?ACTOR) (result ?PERF ?O)) (holdsDuring (WhenFn ?PERF) (attribute ?ACTOR Actor)))	Mid-level-ontology.kif 22377-22384	actedIn humain and ContentBearingPhysical processus est une instance de DramaticActing humain est un patient de processus ContentBearingPhysical est le resultat de processus Actor est un attribut de humain pendant temps d'existence de processus
(=> (and (agent ?PROCESS ?AGENT) (result ?PROCESS ?WORK) (instance ?WORK ArtWork)) (holdsDuring (WhenFn ?PROCESS) (attribute ?AGENT Artist)))	Mid-level-ontology.kif 20408-20414	Processus est un agent de AutonomousAgent entit� est le resultat de processus entit� est une instance de objet d'art Artist est un attribut de AutonomousAgent pendant temps d'existence de processus
(=> (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 est un attribut de AutonomousAgent equal valeur de ce que poss�de AutonomousAgent and mesure de devise l'argument entit� entit�, entit�, entit� and entit� entit� est une instance de Zakat entit� est une instance de ann�e entit� prend place pendant temps d'existence de AutonomousAgent FullyFormed est un attribut de AutonomousAgent pendant entit� entit� est un agent de AutonomousAgent entit� est un patient de entit� valeur de entit� est entit� entit�(s) entit� est une instance de UnitOfCurrency entit� est plus grand que mesure de devise + 0.025 a la force modale 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	Ann�e est une instance de l' ann�e nombre entier equal ChildrenBornPerWomanFn secteur g�opolitique and ann�e and le nombre d' instances dans la classe d�crite par cha�ne sympbolique
(containsInformation (forall (?AGENT ?VOTER ?ELECTION ?VOTING) (=> (and (instance ?ELECTION (ElectionFn ?AGENT)) (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER)) (attribute ?VOTER Male))) ExclusiveMaleSuffrage)	Government.kif 1203-1210	?AGENT ?VOTER, ?ELECTION and ?VOTING ?ELECTION est une instance de ElectionFn ?AGENT ?VOTING est une instance de VotingFn ?ELECTION ?VOTING est un agent de ?VOTER Male est un attribut de ?VOTER contient information 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 est une instance de ?SUBSTANCE ?THERAPY est une instance de ?PROCESS ?ORGANISM exp�rimente ?THERAPY ?SAMPLE est un patient de ?THERAPY diminue la probabilit� de ?SYMPTOM est un attribut 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 940-949	equal AvailableForMilitaryServiceMaleFn secteur g�opolitique and le nombre d' instances dans la classe d�crite par cha�ne sympbolique
(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 963-974	equal FitForMilitaryServiceMaleFn secteur g�opolitique and le nombre d' instances dans la classe d�crite par cha�ne sympbolique
(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 1001-1014	equal ReachingMilitaryAgeAnnuallyMaleFn secteur g�opolitique and ann�e and le nombre d' instances dans la classe d�crite par cha�ne sympbolique
(exists (?H) (and (attribute ?H NewReporter) (employs ProPublica ?H)))	Medicine.kif 4597-4600	Agent cognitif NewReporter est un attribut de agent cognitif ProPublica emploie agent cognitif
(exists (?MEAL ?REGION) (attribute ?MEAL (MealAttributeFn ?MEAL ?REGION)))	Food.kif 1908-1909	Meal r�gion MealAttributeFn Meal and r�gion est un attribut 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 est une instance de ?PROCESSTYPE ?ORGANISM exp�rimente ?PROCESS augmente la probabilit� de ?SYMPTOM est un attribut de ?ORGANISM

appearance as argument number 0

(attribute Hay Fodder)	Mid-level-ontology.kif 22018-22018	Fodder est un attribut de Hay
(attribute SouthernOcean PolarClimateZone)	Geography.kif 4921-4921	PolarClimateZone est un attribut de SouthernOcean
(attribute Tourniquet RelationalAttribute)	Medicine.kif 15-15	Attribut relationnel est un attribut 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: