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 attribute は 2進述語 の 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 attribute は property の subrelation では %n

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


(disjointRelation manner attribute) Merge.kif 1734-1734 manner と attribute は disjoint では %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 bondRating は attribute の subrelation では %n
(subrelation color attribute) Mid-level-ontology.kif 19307-19307 color は attribute の subrelation では %n
(subrelation creditRanking attribute) FinancialOntology.kif 2501-2501 creditRanking は attribute の subrelation では %n
(subrelation developmentalForm attribute) Merge.kif 14291-14291 developmentalForm は attribute の subrelation では %n
(subrelation deviceState attribute) Mid-level-ontology.kif 1852-1852 deviceState は attribute の subrelation では %n
(subrelation economyType attribute) Economy.kif 86-86 economyType は attribute の subrelation では %n
(subrelation governmentType attribute) Government.kif 130-130 governmentType は attribute の subrelation では %n
(subrelation hasGUEState attribute) ComputerInput.kif 1882-1882 hasGUEState は attribute の subrelation では %n
(subrelation hasMolecularStructuralAttribute attribute) VirusProteinAndCellPart.kif 163-163 hasMolecularStructuralAttribute は attribute の subrelation では %n
(subrelation hostStatus attribute) QoSontology.kif 2109-2109 hostStatus は attribute の subrelation では %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 30095-30105 エンティティー は 体の部分 の 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 14972-14976 LiteracyAttribute は AutonomousAgent の attribute では %n AutonomousAgent は 読み をする skill が %n{ない} AutonomousAgent は 執筆 をする skill が %n{ない}
(<=>
    (attribute ?I
        (BeliefGroupMemberFn ?BG))
    (member ?I ?BG))		 People.kif 702-704 BeliefGroupMemberFn BeliefGroup は オブジェクト の attribute では %n オブジェクト は BeliefGroup の member では %n
(<=>
    (attribute ?INDIVIDUAL Agnostic)
    (member ?INDIVIDUAL Agnosticism))		 People.kif 728-730 Agnostic は オブジェクト の attribute では %n オブジェクト は Agnosticism の member では %n
(<=>
    (attribute ?INDIVIDUAL AhmadiyyaMuslim)
    (member ?INDIVIDUAL AhmadiyyaSect))		 People.kif 1373-1375 AhmadiyyaMuslim は オブジェクト の attribute では %n オブジェクト は AhmadiyyaSect の member では %n
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL Anglicanism))		 People.kif 1251-1253 Anglican は オブジェクト の attribute では %n オブジェクト は Anglicanism の member では %n
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL ChurchOfEngland))		 People.kif 1259-1261 Anglican は オブジェクト の attribute では %n オブジェクト は ChurchOfEngland の member では %n
(<=>
    (attribute ?INDIVIDUAL Atheist)
    (member ?INDIVIDUAL Atheism))		 People.kif 746-748 Atheist は オブジェクト の attribute では %n オブジェクト は Atheism の member では %n
(<=>
    (attribute ?INDIVIDUAL Bahai)
    (member ?INDIVIDUAL Bahaism))		 People.kif 783-785 Bahai は オブジェクト の attribute では %n オブジェクト は Bahaism の member では %n
(<=>
    (attribute ?INDIVIDUAL Buddhist)
    (member ?INDIVIDUAL Buddhism))		 People.kif 795-797 Buddhist は オブジェクト の attribute では %n オブジェクト は Buddhism の member では %n
(<=>
    (attribute ?INDIVIDUAL Confucianist)
    (member ?INDIVIDUAL Confucianism))		 People.kif 1332-1334 Confucianist は オブジェクト の attribute では %n オブジェクト は Confucianism の member では %n
(<=>
    (attribute ?INDIVIDUAL DruzeMuslim)
    (member ?INDIVIDUAL DruzeSect))		 People.kif 1387-1389 DruzeMuslim は オブジェクト の attribute では %n オブジェクト は DruzeSect の member では %n
(<=>
    (attribute ?INDIVIDUAL EasternOrthodoxChristian)
    (member ?INDIVIDUAL EasternOrthodoxChristianity))		 People.kif 1273-1275 EasternOrthodoxChristian は オブジェクト の attribute では %n オブジェクト は EasternOrthodoxChristianity の member では %n
(<=>
    (attribute ?INDIVIDUAL Hindu)
    (member ?INDIVIDUAL Hinduism))		 People.kif 1344-1346 Hindu は オブジェクト の attribute では %n オブジェクト は Hinduism の member では %n
(<=>
    (attribute ?INDIVIDUAL Jain)
    (member ?INDIVIDUAL Jainism))		 People.kif 1437-1439 Jain は オブジェクト の attribute では %n オブジェクト は Jainism の member では %n
(<=>
    (attribute ?INDIVIDUAL Muslim)
    (member ?INDIVIDUAL Islam))		 People.kif 1356-1358 Muslim は オブジェクト の attribute では %n オブジェクト は Islam の member では %n
(<=>
    (attribute ?INDIVIDUAL Neopaganismist)
    (member ?INDIVIDUAL Neopaganism))		 People.kif 1483-1485 Neopaganismist は オブジェクト の attribute では %n オブジェクト は Neopaganism の member では %n
(<=>
    (attribute ?INDIVIDUAL Protestant)
    (member ?INDIVIDUAL Protestantism))		 People.kif 1287-1289 Protestant は オブジェクト の attribute では %n オブジェクト は Protestantism の member では %n
(<=>
    (attribute ?INDIVIDUAL ReligiousJew)
    (member ?INDIVIDUAL Judaism))		 People.kif 1454-1456 ReligiousJew は オブジェクト の attribute では %n オブジェクト は Judaism の member では %n
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicChurch))		 People.kif 1309-1311 RomanCatholic は オブジェクト の attribute では %n オブジェクト は RomanCatholicChurch の member では %n
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicism))		 People.kif 1301-1303 RomanCatholic は オブジェクト の attribute では %n オブジェクト は RomanCatholicism の member では %n
(<=>
    (attribute ?INDIVIDUAL ShiaMuslim)
    (member ?INDIVIDUAL ShiiteSect))		 People.kif 1403-1405 ShiaMuslim は オブジェクト の attribute では %n オブジェクト は ShiiteSect の member では %n
(<=>
    (attribute ?INDIVIDUAL Shintoist)
    (member ?INDIVIDUAL Shinto))		 People.kif 1498-1500 Shintoist は オブジェクト の attribute では %n オブジェクト は Shinto の member では %n
(<=>
    (attribute ?INDIVIDUAL Sikh)
    (member ?INDIVIDUAL Sikhism))		 People.kif 1513-1515 Sikh は オブジェクト の attribute では %n オブジェクト は Sikhism の member では %n
(<=>
    (attribute ?INDIVIDUAL SunniMuslim)
    (member ?INDIVIDUAL SunniSect))		 People.kif 1422-1424 SunniMuslim は オブジェクト の attribute では %n オブジェクト は SunniSect の member では %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 383-416 年 は 年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 429-462 年 は 整数 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 232-249 MaleToFemaleRatioFn 地政学的地域 は 実数 と equal では %n 整数 は エンティティー class の instances の数 と equal では %n 整数 は エンティティー class の instances の数 と 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 17224-17232 エンティティー は 人［人間］ の 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 20149-20153 オブジェクト は Bull の instance では %n オブジェクト は Cattle の instance では %n Female は オブジェクト の attribute では %n
(<=>
    (instance ?B Bull)
    (and
        (instance ?B Cattle)
        (attribute ?B Male)))		 Mid-level-ontology.kif 20167-20171 オブジェクト は Bull の instance では %n オブジェクト は Cattle の instance では %n Male は オブジェクト の attribute では %n
(<=>
    (instance ?C Calf)
    (and
        (instance ?C Cattle)
        (attribute ?C NonFullyFormed)))		 Mid-level-ontology.kif 20158-20162 オブジェクト は Calf の instance では %n オブジェクト は Cattle の instance では %n NonFullyFormed は オブジェクト の attribute では %n
(<=>
    (instance ?DV DamagedVehicle)
    (and
        (instance ?DV Vehicle)
        (attribute ?DV DeviceDamaged)))		 Mid-level-ontology.kif 30011-30015 オブジェクト は DamagedVehicle の instance では %n オブジェクト は Vehicle の instance では %n DeviceDamaged は オブジェクト の attribute では %n
(<=>
    (instance ?H Hen)
    (and
        (instance ?H Chicken)
        (attribute ?H Female)))		 Mid-level-ontology.kif 20181-20185 オブジェクト は Hen の instance では %n オブジェクト は Chicken の instance では %n Female は オブジェクト の attribute では %n
(<=>
    (instance ?ICE Ice)
    (and
        (instance ?ICE Water)
        (attribute ?ICE Solid)))		 Mid-level-ontology.kif 8951-8955 オブジェクト は Ice の instance では %n オブジェクト は 水 の instance では %n Solid は オブジェクト の attribute では %n
(<=>
    (instance ?L Lamb)
    (and
        (instance ?L Sheep)
        (attribute ?L NonFullyFormed)))		 Mid-level-ontology.kif 20135-20139 オブジェクト は Lamb の instance では %n オブジェクト は Sheep の instance では %n NonFullyFormed は オブジェクト の attribute では %n
(<=>
    (instance ?R Rooster)
    (and
        (instance ?R Chicken)
        (attribute ?R Male)))		 Mid-level-ontology.kif 20190-20194 オブジェクト は Rooster の instance では %n オブジェクト は Chicken の instance では %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 16824-16833
(=>
    (and
        (actedIn ?ACTOR ?O)
        (instance ?PERF DramaticActing)
        (patient ?PERF ?ACTOR)
        (result ?PERF ?O))
    (holdsDuring
        (WhenFn ?PERF)
        (attribute ?ACTOR Actor)))		 Mid-level-ontology.kif 20709-20716
(=>
    (and
        (agent ?PROCESS ?AGENT)
        (result ?PROCESS ?WORK)
        (instance ?WORK ArtWork))
    (holdsDuring
        (WhenFn ?PROCESS)
        (attribute ?AGENT Artist)))		 Mid-level-ontology.kif 18786-18792
(=>
    (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 482-495 年 は 整数 year 目 の instance では %n ChildrenBornPerWomanFn 地政学的地域 and 年 は エンティティー class の instances の数 と 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 地政学的地域 は エンティティー class の instances の数 と 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 地政学的地域 は エンティティー class の instances の数 と 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 年 は エンティティー class の instances の数 と 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 地域 は Meal の attribute では %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{ない}