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 attribute の数値 1 引数は オブジェクトinstance では %n
(domain attribute 2 Attribute) Merge.kif 1721-1721 attribute の数値 2 引数は 属性instance では %n
(instance attribute AsymmetricRelation) Merge.kif 1715-1715 attribute非対称関係instance では %n
(instance attribute BinaryPredicate) Merge.kif 1718-1718 attribute2進述語instance では %n
(instance attribute IrreflexiveRelation) Merge.kif 1716-1716 attribute非反射関係instance では %n
(instance attribute TotalValuedRelation) Merge.kif 1717-1717 attribute合計値関係instance では %n
(subrelation attribute property) Merge.kif 1719-1719 attributepropertysubrelation では %n

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


(disjointRelation manner attribute) Merge.kif 1734-1734 mannerattributedisjoint では %n
(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 bondRatingattributesubrelation では %n
(subrelation color attribute) Mid-level-ontology.kif 19358-19358 colorattributesubrelation では %n
(subrelation creditRanking attribute) FinancialOntology.kif 2501-2501 creditRankingattributesubrelation では %n
(subrelation developmentalForm attribute) Merge.kif 14321-14321 developmentalFormattributesubrelation では %n
(subrelation deviceState attribute) Mid-level-ontology.kif 1880-1880 deviceStateattributesubrelation では %n
(subrelation economyType attribute) Economy.kif 86-86 economyTypeattributesubrelation では %n
(subrelation governmentType attribute) Government.kif 130-130 governmentTypeattributesubrelation では %n
(subrelation hasGUEState attribute) ComputerInput.kif 1882-1882 hasGUEStateattributesubrelation では %n
(subrelation hasMolecularStructuralAttribute attribute) VirusProteinAndCellPart.kif 163-163 hasMolecularStructuralAttributeattributesubrelation では %n
(subrelation hostStatus attribute) QoSontology.kif 2109-2109 hostStatusattributesubrelation では %n

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 エンティティー体の部分instance では %n Bare エンティティーattribute では %n は 時間位置during holds %n{ない} エンティティー エンティティー衣類instance では %n covers エンティティー and エンティティー 時間位置during holds %n{ない}
(<=>
    (attribute ?H LiteracyAttribute)
    (and
        (hasSkill Reading ?H)
        (hasSkill Writing ?H)))
Mid-level-ontology.kif 15000-15004 LiteracyAttribute AutonomousAgentattribute では %n AutonomousAgent読み をする skill が %n{ない} AutonomousAgent執筆 をする skill が %n{ない}
(<=>
    (attribute ?I
        (BeliefGroupMemberFn ?BG))
    (member ?I ?BG))
People.kif 676-678 BeliefGroupMemberFn BeliefGroup オブジェクトattribute では %n オブジェクト BeliefGroupmember では %n
(<=>
    (attribute ?INDIVIDUAL Agnostic)
    (member ?INDIVIDUAL Agnosticism))
People.kif 702-704 Agnostic オブジェクトattribute では %n オブジェクトAgnosticismmember では %n
(<=>
    (attribute ?INDIVIDUAL AhmadiyyaMuslim)
    (member ?INDIVIDUAL AhmadiyyaSect))
People.kif 1347-1349 AhmadiyyaMuslim オブジェクトattribute では %n オブジェクトAhmadiyyaSectmember では %n
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL Anglicanism))
People.kif 1225-1227 Anglican オブジェクトattribute では %n オブジェクトAnglicanismmember では %n
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL ChurchOfEngland))
People.kif 1233-1235 Anglican オブジェクトattribute では %n オブジェクトChurchOfEnglandmember では %n
(<=>
    (attribute ?INDIVIDUAL Atheist)
    (member ?INDIVIDUAL Atheism))
People.kif 720-722 Atheist オブジェクトattribute では %n オブジェクトAtheismmember では %n
(<=>
    (attribute ?INDIVIDUAL Bahai)
    (member ?INDIVIDUAL Bahaism))
People.kif 757-759 Bahai オブジェクトattribute では %n オブジェクトBahaismmember では %n
(<=>
    (attribute ?INDIVIDUAL Buddhist)
    (member ?INDIVIDUAL Buddhism))
People.kif 769-771 Buddhist オブジェクトattribute では %n オブジェクトBuddhismmember では %n
(<=>
    (attribute ?INDIVIDUAL Confucianist)
    (member ?INDIVIDUAL Confucianism))
People.kif 1306-1308 Confucianist オブジェクトattribute では %n オブジェクトConfucianismmember では %n
(<=>
    (attribute ?INDIVIDUAL DruzeMuslim)
    (member ?INDIVIDUAL DruzeSect))
People.kif 1361-1363 DruzeMuslim オブジェクトattribute では %n オブジェクトDruzeSectmember では %n
(<=>
    (attribute ?INDIVIDUAL EasternOrthodoxChristian)
    (member ?INDIVIDUAL EasternOrthodoxChristianity))
People.kif 1247-1249 EasternOrthodoxChristian オブジェクトattribute では %n オブジェクトEasternOrthodoxChristianitymember では %n
(<=>
    (attribute ?INDIVIDUAL Hindu)
    (member ?INDIVIDUAL Hinduism))
People.kif 1318-1320 Hindu オブジェクトattribute では %n オブジェクトHinduismmember では %n
(<=>
    (attribute ?INDIVIDUAL Jain)
    (member ?INDIVIDUAL Jainism))
People.kif 1411-1413 Jain オブジェクトattribute では %n オブジェクトJainismmember では %n
(<=>
    (attribute ?INDIVIDUAL Muslim)
    (member ?INDIVIDUAL Islam))
People.kif 1330-1332 Muslim オブジェクトattribute では %n オブジェクトIslammember では %n
(<=>
    (attribute ?INDIVIDUAL Neopaganismist)
    (member ?INDIVIDUAL Neopaganism))
People.kif 1457-1459 Neopaganismist オブジェクトattribute では %n オブジェクトNeopaganismmember では %n
(<=>
    (attribute ?INDIVIDUAL Protestant)
    (member ?INDIVIDUAL Protestantism))
People.kif 1261-1263 Protestant オブジェクトattribute では %n オブジェクトProtestantismmember では %n
(<=>
    (attribute ?INDIVIDUAL ReligiousJew)
    (member ?INDIVIDUAL Judaism))
People.kif 1428-1430 ReligiousJew オブジェクトattribute では %n オブジェクトJudaismmember では %n
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicChurch))
People.kif 1283-1285 RomanCatholic オブジェクトattribute では %n オブジェクトRomanCatholicChurchmember では %n
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicism))
People.kif 1275-1277 RomanCatholic オブジェクトattribute では %n オブジェクトRomanCatholicismmember では %n
(<=>
    (attribute ?INDIVIDUAL ShiaMuslim)
    (member ?INDIVIDUAL ShiiteSect))
People.kif 1377-1379 ShiaMuslim オブジェクトattribute では %n オブジェクトShiiteSectmember では %n
(<=>
    (attribute ?INDIVIDUAL Shintoist)
    (member ?INDIVIDUAL Shinto))
People.kif 1472-1474 Shintoist オブジェクトattribute では %n オブジェクトShintomember では %n
(<=>
    (attribute ?INDIVIDUAL Sikh)
    (member ?INDIVIDUAL Sikhism))
People.kif 1487-1489 Sikh オブジェクトattribute では %n オブジェクトSikhismmember では %n
(<=>
    (attribute ?INDIVIDUAL SunniMuslim)
    (member ?INDIVIDUAL SunniSect))
People.kif 1396-1398 SunniMuslim オブジェクトattribute では %n オブジェクトSunniSectmember では %n

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 EAR year 目 の instance では %n MaleLifeExpectancyAtBirthFn 地政学的地域 and 実数equal では %n リスト 整数, 記号文字列, エンティティー, エンティティー and エンティティー リストリストinstance では %n リストlength 整数instance では %n リストITEM average リスト and 実数
(<=>
    (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 整数 year 目 の instance では %n FemaleLifeExpectancyAtBirthFn 地政学的地域 and 実数equal では %n リスト 整数, 記号文字列, エンティティー, エンティティー and エンティティー リストリストinstance では %n リストlength 整数instance では %n リストITEM average リスト and 実数
(<=>
    (attribute ?Q Queen)
    (or
        (attribute ?Q QueenRegnant)
        (attribute ?Q QueenConsort)))
Government.kif 1400-1404 Queen オブジェクトattribute では %n QueenRegnant オブジェクトattribute では %n QueenConsort オブジェクトattribute では %n
(<=>
    (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 地政学的地域 実数equal では %n 整数 エンティティー classinstances の数 と equal では %n 整数 エンティティー classinstances の数 と equal では %n 整数 + 整数 実数equal では %n
(<=>
    (hearingAcuity ?H
        (MeasureFn -10 Decibel)
        (MeasureFn 15 Decibel))
    (attribute ?H NormalHearingSensitivity))
Medicine.kif 1783-1787 hearingAcuity 人[人間], -10 の Decibel(s) and 15 の Decibel(s) NormalHearingSensitivity 人[人間]attribute では %n
(<=>
    (hearingAcuity ?H
        (MeasureFn 16 Decibel)
        (MeasureFn 25 Decibel))
    (attribute ?H BorderlineHearingSensitivity))
Medicine.kif 1794-1798 hearingAcuity 人[人間], 16 の Decibel(s) and 25 の Decibel(s) BorderlineHearingSensitivity 人[人間]attribute では %n
(<=>
    (hearingAcuity ?H
        (MeasureFn 26 Decibel)
        (MeasureFn 40 Decibel))
    (attribute ?H MildHearingLoss))
Medicine.kif 1805-1809 hearingAcuity 人[人間], 26 の Decibel(s) and 40 の Decibel(s) MildHearingLoss 人[人間]attribute では %n
(<=>
    (hearingAcuity ?H
        (MeasureFn 41 Decibel)
        (MeasureFn 55 Decibel))
    (attribute ?H ModerateHearingLoss))
Medicine.kif 1815-1819 hearingAcuity 人[人間], 41 の Decibel(s) and 55 の Decibel(s) ModerateHearingLoss 人[人間]attribute では %n
(<=>
    (hearingAcuity ?H
        (MeasureFn 56 Decibel)
        (MeasureFn 70 Decibel))
    (attribute ?H ModeratelySevereHearingLoss))
Medicine.kif 1826-1830 hearingAcuity 人[人間], 56 の Decibel(s) and 70 の Decibel(s) ModeratelySevereHearingLoss 人[人間]attribute では %n
(<=>
    (hearingAcuity ?H
        (MeasureFn 71 Decibel)
        (MeasureFn 90 Decibel))
    (attribute ?H SevereHearingLoss))
Medicine.kif 1837-1841 hearingAcuity 人[人間], 71 の Decibel(s) and 90 の Decibel(s) SevereHearingLoss 人[人間]attribute では %n
(<=>
    (hearingAcuity ?H
        (MeasureFn 91 Decibel)
        (MeasureFn 200 Decibel))
    (attribute ?H ProfoundHearingLoss))
Medicine.kif 1848-1852 hearingAcuity 人[人間], 91 の Decibel(s) and 200 の Decibel(s) ProfoundHearingLoss 人[人間]attribute では %n
(<=>
    (holdsDuring ?T
        (and
            (instance ?PERSON Human)
            (forall (?ORG)
                (not
                    (employs ?ORG ?PERSON)))))
    (holdsDuring ?T
        (attribute ?PERSON Unemployed)))
Merge.kif 17254-17262 エンティティー人[人間]instance では %n エンティティー エンティティー エンティティーemploy ない は 時間位置during holds %n{ない} Unemployed エンティティーattribute では %n は 時間位置during holds %n{ない}
(<=>
    (instance ?B Bull)
    (and
        (instance ?B Cattle)
        (attribute ?B Female)))
Mid-level-ontology.kif 20200-20204 オブジェクトBullinstance では %n オブジェクトCattleinstance では %n Female オブジェクトattribute では %n
(<=>
    (instance ?B Bull)
    (and
        (instance ?B Cattle)
        (attribute ?B Male)))
Mid-level-ontology.kif 20218-20222 オブジェクトBullinstance では %n オブジェクトCattleinstance では %n Male オブジェクトattribute では %n
(<=>
    (instance ?C Calf)
    (and
        (instance ?C Cattle)
        (attribute ?C NonFullyFormed)))
Mid-level-ontology.kif 20209-20213 オブジェクトCalfinstance では %n オブジェクトCattleinstance では %n NonFullyFormed オブジェクトattribute では %n
(<=>
    (instance ?DV DamagedVehicle)
    (and
        (instance ?DV Vehicle)
        (attribute ?DV DeviceDamaged)))
Mid-level-ontology.kif 30094-30098 オブジェクトDamagedVehicleinstance では %n オブジェクトVehicleinstance では %n DeviceDamaged オブジェクトattribute では %n
(<=>
    (instance ?H Hen)
    (and
        (instance ?H Chicken)
        (attribute ?H Female)))
Mid-level-ontology.kif 20232-20236 オブジェクトHeninstance では %n オブジェクトChickeninstance では %n Female オブジェクトattribute では %n
(<=>
    (instance ?ICE Ice)
    (and
        (instance ?ICE Water)
        (attribute ?ICE Solid)))
Mid-level-ontology.kif 8979-8983 オブジェクトIceinstance では %n オブジェクトinstance では %n Solid オブジェクトattribute では %n
(<=>
    (instance ?L Lamb)
    (and
        (instance ?L Sheep)
        (attribute ?L NonFullyFormed)))
Mid-level-ontology.kif 20186-20190 オブジェクトLambinstance では %n オブジェクトSheepinstance では %n NonFullyFormed オブジェクトattribute では %n
(<=>
    (instance ?R Rooster)
    (and
        (instance ?R Chicken)
        (attribute ?R Male)))
Mid-level-ontology.kif 20241-20245 オブジェクトRoosterinstance では %n オブジェクトChickeninstance では %n Male オブジェクトattribute では %n
(=>
    (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 整数 year 目 の instance では %n ChildrenBornPerWomanFn 地政学的地域 and エンティティー classinstances の数 と equal では %n
(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 ExclusiveMaleSuffrage の情報を contains %n{ない}
(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 は ?SUBSTANCE の instance では %n ?THERAPY は ?PROCESS の instance では %n ?ORGANISM が ?THERAPY を experiences %n{ない} ?SAMPLE は ?THERAPY の patient では %n は ?SYMPTOM は ?ORGANISM の attribute では %n を decreases 可能性がある
(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 地政学的地域 エンティティー classinstances の数 と equal では %n
(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 地政学的地域 エンティティー classinstances の数 と equal では %n
(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 地政学的地域 and エンティティー classinstances の数 と equal では %n
(exists (?H)
    (and
        (attribute ?H NewReporter)
        (employs ProPublica ?H)))
Medicine.kif 4590-4593 認識エージェント NewReporter 認識エージェントattribute では %n ProPublica 認識エージェントemploys %n{ない}
(exists (?MEAL ?REGION)
    (attribute ?MEAL
        (MealAttributeFn ?MEAL ?REGION)))
Food.kif 1902-1903 Meal 地域 MealAttributeFn Meal and 地域 Mealattribute では %n
(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 は ?PROCESSTYPE の instance では %n ?ORGANISM が ?PROCESS を experiences %n{ない} は ?SYMPTOM は ?ORGANISM の attribute では %n の 可能性を increases %n{ない}