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 1718-1720
(documentation attribute JapaneseLanguage "(attribute ?OBJECT ?PROPERTY) とは、 ?PROPERTY が、?OBJECTの Attribute という意味である。 例:(attribute MyLittleRedWagon Red)。") japanese_format.kif 318-319
(domain attribute 1 Object) Merge.kif 1715-1715 attribute の数値 1 引数は オブジェクトinstance では %n
(domain attribute 2 Attribute) Merge.kif 1716-1716 attribute の数値 2 引数は 属性instance では %n
(instance attribute AsymmetricRelation) Merge.kif 1710-1710 attribute非対称関係instance では %n
(instance attribute BinaryPredicate) Merge.kif 1713-1713 attribute2進述語instance では %n
(instance attribute IrreflexiveRelation) Merge.kif 1711-1711 attribute非反射関係instance では %n
(instance attribute TotalValuedRelation) Merge.kif 1712-1712 attribute合計値関係instance では %n
(subrelation attribute property) Merge.kif 1714-1714 attributepropertysubrelation では %n

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


(disjointRelation manner attribute) Merge.kif 1729-1729 mannerattributedisjoint では %n
(format ChineseLanguage attribute "%2 %n 是 %1 的 attribute") chinese_format.kif 59-59 mannerattributedisjoint では %n
(format EnglishLanguage attribute "%2 is %n an attribute of %1") english_format.kif 59-59 mannerattributedisjoint では %n
(format FrenchLanguage attribute "%2 est %n un attribut de %1") french_format.kif 56-56 mannerattributedisjoint では %n
(format JapaneseLanguage attribute "%2 は %1 の attribute では %n") japanese_format.kif 1878-1878 mannerattributedisjoint では %n
(format PortugueseLanguage attribute "%2 e' %n um atributo de %1") portuguese_format.kif 8-8 mannerattributedisjoint では %n
(format cz attribute "%2 %p{je} %n{nen�} atributem %1") relations-cz.txt 73-73 mannerattributedisjoint では %n
(format de attribute "%2 ist ein attribut von %1 %n{nicht}") relations-de.txt 65-65 mannerattributedisjoint では %n
(format hi attribute "%1 kii eka visheshhataa %2 %n hai") relations-hindi.txt 73-73 mannerattributedisjoint では %n
(format ro attribute "%2 %n{nu} este un attribute%t{atribut} pentru %1") relations-ro.kif 75-75 mannerattributedisjoint では %n
(format sv attribute "%2 är %n{inte} ett attribut på %1") relations-sv.txt 55-55 mannerattributedisjoint では %n
(format tg attribute "%1 %n may katangian ng %2") relations-cb.txt 63-63 mannerattributedisjoint では %n
(subrelation bondRating attribute) FinancialOntology.kif 2527-2527 bondRatingattributesubrelation では %n
(subrelation color attribute) Mid-level-ontology.kif 20946-20946 colorattributesubrelation では %n
(subrelation creditRanking attribute) FinancialOntology.kif 2518-2518 creditRankingattributesubrelation では %n
(subrelation developmentalForm attribute) Merge.kif 14459-14459 developmentalFormattributesubrelation では %n
(subrelation deviceState attribute) Mid-level-ontology.kif 2342-2342 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 167-167 hasMolecularStructuralAttributeattributesubrelation では %n
(subrelation hostStatus attribute) QoSontology.kif 2241-2241 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 31855-31865 エンティティー体の部分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 16391-16395 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 1348-1350 AhmadiyyaMuslim オブジェクトattribute では %n オブジェクトAhmadiyyaSectmember では %n
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL Anglicanism))
People.kif 1226-1228 Anglican オブジェクトattribute では %n オブジェクトAnglicanismmember では %n
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL ChurchOfEngland))
People.kif 1234-1236 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 Capitalist)
    (member ?INDIVIDUAL Capitalism))
Economy.kif 925-927 Capitalist オブジェクトattribute では %n オブジェクトCapitalismmember では %n
(<=>
    (attribute ?INDIVIDUAL Communism)
    (member ?INDIVIDUAL Communism))
Economy.kif 895-897 Communism オブジェクトattribute では %n オブジェクトCommunismmember では %n
(<=>
    (attribute ?INDIVIDUAL Confucianist)
    (member ?INDIVIDUAL Confucianism))
People.kif 1307-1309 Confucianist オブジェクトattribute では %n オブジェクトConfucianismmember では %n
(<=>
    (attribute ?INDIVIDUAL DruzeMuslim)
    (member ?INDIVIDUAL DruzeSect))
People.kif 1362-1364 DruzeMuslim オブジェクトattribute では %n オブジェクトDruzeSectmember では %n
(<=>
    (attribute ?INDIVIDUAL EasternOrthodoxChristian)
    (member ?INDIVIDUAL EasternOrthodoxChristianity))
People.kif 1248-1250 EasternOrthodoxChristian オブジェクトattribute では %n オブジェクトEasternOrthodoxChristianitymember では %n
(<=>
    (attribute ?INDIVIDUAL Hindu)
    (member ?INDIVIDUAL Hinduism))
People.kif 1319-1321 Hindu オブジェクトattribute では %n オブジェクトHinduismmember では %n
(<=>
    (attribute ?INDIVIDUAL Jain)
    (member ?INDIVIDUAL Jainism))
People.kif 1412-1414 Jain オブジェクトattribute では %n オブジェクトJainismmember では %n
(<=>
    (attribute ?INDIVIDUAL Muslim)
    (member ?INDIVIDUAL Islam))
People.kif 1331-1333 Muslim オブジェクトattribute では %n オブジェクトIslammember では %n
(<=>
    (attribute ?INDIVIDUAL Neopaganismist)
    (member ?INDIVIDUAL Neopaganism))
People.kif 1458-1460 Neopaganismist オブジェクトattribute では %n オブジェクトNeopaganismmember では %n
(<=>
    (attribute ?INDIVIDUAL Protestant)
    (member ?INDIVIDUAL Protestantism))
People.kif 1262-1264 Protestant オブジェクトattribute では %n オブジェクトProtestantismmember では %n
(<=>
    (attribute ?INDIVIDUAL ReligiousJew)
    (member ?INDIVIDUAL Judaism))
People.kif 1429-1431 ReligiousJew オブジェクトattribute では %n オブジェクトJudaismmember では %n
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicChurch))
People.kif 1284-1286 RomanCatholic オブジェクトattribute では %n オブジェクトRomanCatholicChurchmember では %n
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicism))
People.kif 1276-1278 RomanCatholic オブジェクトattribute では %n オブジェクトRomanCatholicismmember では %n
(<=>
    (attribute ?INDIVIDUAL ShiaMuslim)
    (member ?INDIVIDUAL ShiiteSect))
People.kif 1378-1380 ShiaMuslim オブジェクトattribute では %n オブジェクトShiiteSectmember では %n
(<=>
    (attribute ?INDIVIDUAL Shintoist)
    (member ?INDIVIDUAL Shinto))
People.kif 1473-1475 Shintoist オブジェクトattribute では %n オブジェクトShintomember では %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 1362-1366 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 1776-1780 hearingAcuity 人[人間], -10 の Decibel(s) and 15 の Decibel(s) NormalHearingSensitivity 人[人間]attribute では %n
(<=>
    (hearingAcuity ?H
        (MeasureFn 16 Decibel)
        (MeasureFn 25 Decibel))
    (attribute ?H BorderlineHearingSensitivity))
Medicine.kif 1787-1791 hearingAcuity 人[人間], 16 の Decibel(s) and 25 の Decibel(s) BorderlineHearingSensitivity 人[人間]attribute では %n
(<=>
    (hearingAcuity ?H
        (MeasureFn 26 Decibel)
        (MeasureFn 40 Decibel))
    (attribute ?H MildHearingLoss))
Medicine.kif 1798-1802 hearingAcuity 人[人間], 26 の Decibel(s) and 40 の Decibel(s) MildHearingLoss 人[人間]attribute では %n
(<=>
    (hearingAcuity ?H
        (MeasureFn 41 Decibel)
        (MeasureFn 55 Decibel))
    (attribute ?H ModerateHearingLoss))
Medicine.kif 1808-1812 hearingAcuity 人[人間], 41 の Decibel(s) and 55 の Decibel(s) ModerateHearingLoss 人[人間]attribute では %n
(<=>
    (hearingAcuity ?H
        (MeasureFn 56 Decibel)
        (MeasureFn 70 Decibel))
    (attribute ?H ModeratelySevereHearingLoss))
Medicine.kif 1819-1823 hearingAcuity 人[人間], 56 の Decibel(s) and 70 の Decibel(s) ModeratelySevereHearingLoss 人[人間]attribute では %n
(<=>
    (hearingAcuity ?H
        (MeasureFn 71 Decibel)
        (MeasureFn 90 Decibel))
    (attribute ?H SevereHearingLoss))
Medicine.kif 1830-1834 hearingAcuity 人[人間], 71 の Decibel(s) and 90 の Decibel(s) SevereHearingLoss 人[人間]attribute では %n
(<=>
    (hearingAcuity ?H
        (MeasureFn 91 Decibel)
        (MeasureFn 200 Decibel))
    (attribute ?H ProfoundHearingLoss))
Medicine.kif 1841-1845 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 17414-17422 エンティティー人[人間]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 21834-21838 オブジェクトBullinstance では %n オブジェクトCattleinstance では %n Female オブジェクトattribute では %n
(<=>
    (instance ?B Bull)
    (and
        (instance ?B Cattle)
        (attribute ?B Male)))
Mid-level-ontology.kif 21852-21856 オブジェクトBullinstance では %n オブジェクトCattleinstance では %n Male オブジェクトattribute では %n
(<=>
    (instance ?C Calf)
    (and
        (instance ?C Cattle)
        (attribute ?C NonFullyFormed)))
Mid-level-ontology.kif 21843-21847 オブジェクトCalfinstance では %n オブジェクトCattleinstance では %n NonFullyFormed オブジェクトattribute では %n
(<=>
    (instance ?DV DamagedVehicle)
    (and
        (instance ?DV Vehicle)
        (attribute ?DV DeviceDamaged)))
Mid-level-ontology.kif 31745-31749 オブジェクトDamagedVehicleinstance では %n オブジェクトVehicleinstance では %n DeviceDamaged オブジェクトattribute では %n
(<=>
    (instance ?H Hen)
    (and
        (instance ?H Chicken)
        (attribute ?H Female)))
Mid-level-ontology.kif 21866-21870 オブジェクトHeninstance では %n オブジェクトChickeninstance では %n Female オブジェクトattribute では %n
(<=>
    (instance ?ICE Ice)
    (and
        (instance ?ICE Water)
        (attribute ?ICE Solid)))
Mid-level-ontology.kif 10203-10207 オブジェクトIceinstance では %n オブジェクトinstance では %n Solid オブジェクトattribute では %n
(<=>
    (instance ?L Lamb)
    (and
        (instance ?L Sheep)
        (attribute ?L NonFullyFormed)))
Mid-level-ontology.kif 21820-21824 オブジェクトLambinstance では %n オブジェクトSheepinstance では %n NonFullyFormed オブジェクトattribute では %n
(<=>
    (instance ?R Rooster)
    (and
        (instance ?R Chicken)
        (attribute ?R Male)))
Mid-level-ontology.kif 21875-21879 オブジェクトRoosterinstance では %n オブジェクトChickeninstance では %n Male オブジェクトattribute では %n
(=>
    (accommodationProvider ?PKG ?HOTEL)
    (attribute ?HOTEL TravelerAccommodation))
Hotel.kif 2779-2781
(=>
    (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 18259-18268
(=>
    (and
        (actedIn ?ACTOR ?O)
        (instance ?PERF DramaticActing)
        (patient ?PERF ?ACTOR)
        (result ?PERF ?O))
    (holdsDuring
        (WhenFn ?PERF)
        (attribute ?ACTOR Actor)))
Mid-level-ontology.kif 22394-22401
(=>
    (and
        (agent ?PROCESS ?AGENT)
        (result ?PROCESS ?WORK)
        (instance ?WORK ArtWork))
    (holdsDuring
        (WhenFn ?PROCESS)
        (attribute ?AGENT Artist)))
Mid-level-ontology.kif 20425-20431
(=>
    (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 1203-1210 ?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 930-939 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 953-964 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 991-1004 ReachingMilitaryAgeAnnuallyMaleFn 地政学的地域 and エンティティー classinstances の数 と equal では %n
(exists (?H)
    (and
        (attribute ?H NewReporter)
        (employs ProPublica ?H)))
Medicine.kif 4597-4600 認識エージェント NewReporter 認識エージェントattribute では %n ProPublica 認識エージェントemploys %n{ない}
(exists (?MEAL ?REGION)
    (attribute ?MEAL
        (MealAttributeFn ?MEAL ?REGION)))
Food.kif 1908-1909 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{ない}