Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - attribute
attribute

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 Le nombre 1 argument de attribute est une instance de objet
(domain attribute 2 Attribute) Merge.kif 1721-1721 Le nombre 2 argument de attribute est une instance de attribut
(instance attribute AsymmetricRelation) Merge.kif 1715-1715 attribute est une instance de relation asym�trique
(instance attribute BinaryPredicate) Merge.kif 1718-1718 attribute est une instance de pr�dicat binaire
(instance attribute IrreflexiveRelation) Merge.kif 1716-1716 attribute est une instance de relation irr�flexive
(instance attribute TotalValuedRelation) Merge.kif 1717-1717 attribute est une instance de relation total
(subrelation attribute property) Merge.kif 1719-1719 attribute est une sous-relation de property

appearance as argument number 2
-------------------------


(disjointRelation manner attribute) Merge.kif 1734-1734 manner et attribute sont disjoint
(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 est une sous-relation de attribute
(subrelation color attribute) Mid-level-ontology.kif 19358-19358 color est une sous-relation de attribute
(subrelation creditRanking attribute) FinancialOntology.kif 2501-2501 creditRanking est une sous-relation de attribute
(subrelation developmentalForm attribute) Merge.kif 14321-14321 developmentalForm est une sous-relation de attribute
(subrelation deviceState attribute) Mid-level-ontology.kif 1880-1880 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 163-163 hasMolecularStructuralAttribute est une sous-relation de attribute
(subrelation hostStatus attribute) QoSontology.kif 2109-2109 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 30178-30188 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 15000-15004 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 1347-1349 AhmadiyyaMuslim est un attribut de objet objet est un membre de AhmadiyyaSect
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL Anglicanism))
People.kif 1225-1227 Anglican est un attribut de objet objet est un membre de Anglicanism
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL ChurchOfEngland))
People.kif 1233-1235 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 Confucianist)
    (member ?INDIVIDUAL Confucianism))
People.kif 1306-1308 Confucianist est un attribut de objet objet est un membre de Confucianism
(<=>
    (attribute ?INDIVIDUAL DruzeMuslim)
    (member ?INDIVIDUAL DruzeSect))
People.kif 1361-1363 DruzeMuslim est un attribut de objet objet est un membre de DruzeSect
(<=>
    (attribute ?INDIVIDUAL EasternOrthodoxChristian)
    (member ?INDIVIDUAL EasternOrthodoxChristianity))
People.kif 1247-1249 EasternOrthodoxChristian est un attribut de objet objet est un membre de EasternOrthodoxChristianity
(<=>
    (attribute ?INDIVIDUAL Hindu)
    (member ?INDIVIDUAL Hinduism))
People.kif 1318-1320 Hindu est un attribut de objet objet est un membre de Hinduism
(<=>
    (attribute ?INDIVIDUAL Jain)
    (member ?INDIVIDUAL Jainism))
People.kif 1411-1413 Jain est un attribut de objet objet est un membre de Jainism
(<=>
    (attribute ?INDIVIDUAL Muslim)
    (member ?INDIVIDUAL Islam))
People.kif 1330-1332 Muslim est un attribut de objet objet est un membre de Islam
(<=>
    (attribute ?INDIVIDUAL Neopaganismist)
    (member ?INDIVIDUAL Neopaganism))
People.kif 1457-1459 Neopaganismist est un attribut de objet objet est un membre de Neopaganism
(<=>
    (attribute ?INDIVIDUAL Protestant)
    (member ?INDIVIDUAL Protestantism))
People.kif 1261-1263 Protestant est un attribut de objet objet est un membre de Protestantism
(<=>
    (attribute ?INDIVIDUAL ReligiousJew)
    (member ?INDIVIDUAL Judaism))
People.kif 1428-1430 ReligiousJew est un attribut de objet objet est un membre de Judaism
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicChurch))
People.kif 1283-1285 RomanCatholic est un attribut de objet objet est un membre de RomanCatholicChurch
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicism))
People.kif 1275-1277 RomanCatholic est un attribut de objet objet est un membre de RomanCatholicism
(<=>
    (attribute ?INDIVIDUAL ShiaMuslim)
    (member ?INDIVIDUAL ShiiteSect))
People.kif 1377-1379 ShiaMuslim est un attribut de objet objet est un membre de ShiiteSect
(<=>
    (attribute ?INDIVIDUAL Shintoist)
    (member ?INDIVIDUAL Shinto))
People.kif 1472-1474 Shintoist est un attribut de objet objet est un membre de Shinto
(<=>
    (attribute ?INDIVIDUAL Sikh)
    (member ?INDIVIDUAL Sikhism))
People.kif 1487-1489 Sikh est un attribut de objet objet est un membre de Sikhism
(<=>
    (attribute ?INDIVIDUAL SunniMuslim)
    (member ?INDIVIDUAL SunniSect))
People.kif 1396-1398 SunniMuslim est un attribut de objet objet est un membre 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 Ann�e est une instance de l' ann�e ann�eEAR MaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est 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 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 FemaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est 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 average liste and nombre r�el
(<=>
    (attribute ?Q Queen)
    (or
        (attribute ?Q QueenRegnant)
        (attribute ?Q QueenConsort)))
Government.kif 1400-1404 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 MaleToFemaleRatioFn secteur g�opolitique est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre entier est nombre r�el
(<=>
    (hearingAcuity ?H
        (MeasureFn -10 Decibel)
        (MeasureFn 15 Decibel))
    (attribute ?H NormalHearingSensitivity))
Medicine.kif 1783-1787 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 1794-1798 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 1805-1809 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 1815-1819 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 1826-1830 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 1837-1841 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 1848-1852 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 17254-17262 Entit� est une instance de humain entit� entit� n' emploie %n{pas} 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 20200-20204 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 20218-20222 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 20209-20213 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 30094-30098 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 20232-20236 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 8979-8983 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 20186-20190 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 20241-20245 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 2768-2770
(=>
    (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
(=>
    (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
(=>
    (and
        (agent ?PROCESS ?AGENT)
        (result ?PROCESS ?WORK)
        (instance ?WORK ArtWork))
    (holdsDuring
        (WhenFn ?PROCESS)
        (attribute ?AGENT Artist)))
Mid-level-ontology.kif 18837-18843
(=>
    (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

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 ChildrenBornPerWomanFn secteur g�opolitique and ann�e est 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 1241-1248 ?AGENT ?VOTER, ?ELECTION and ?VOTING 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 872-881 AvailableForMilitaryServiceMaleFn secteur g�opolitique est 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 895-906 FitForMilitaryServiceMaleFn secteur g�opolitique est 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 933-946 ReachingMilitaryAgeAnnuallyMaleFn secteur g�opolitique and ann�e est instances dans la classe d�crite par cha�ne sympbolique
(exists (?H)
    (and
        (attribute ?H NewReporter)
        (employs ProPublica ?H)))
Medicine.kif 4590-4593 Agent cognitif NewReporter est un attribut de agent cognitif ProPublica emploie agent cognitif
(exists (?MEAL ?REGION)
    (attribute ?MEAL
        (MealAttributeFn ?MEAL ?REGION)))
Food.kif 1902-1903 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