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 属于 的 1 数量 是 客体 的 instance
(domain attribute 2 Attribute) Merge.kif 1721-1721 属于 的 2 数量 是 属性 的 instance
(instance attribute AsymmetricRelation) Merge.kif 1715-1715 属于 是 非对称关系 的 instance
(instance attribute BinaryPredicate) Merge.kif 1718-1718 属于 是 二元谓语 的 instance
(instance attribute IrreflexiveRelation) Merge.kif 1716-1716 属于 是 非自反关系 的 instance
(instance attribute TotalValuedRelation) Merge.kif 1717-1717 属于 是 总值关系 的 instance
(subrelation attribute property) Merge.kif 1719-1719 属于 是 特性 的 subrelation

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


(disjointRelation manner attribute) Merge.kif 1734-1734 形式 和 属于 是 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 债券评级 是 属于 的 subrelation
(subrelation color attribute) Mid-level-ontology.kif 19307-19307 color 是 属于 的 subrelation
(subrelation creditRanking attribute) FinancialOntology.kif 2501-2501 信用评级 是 属于 的 subrelation
(subrelation developmentalForm attribute) Merge.kif 14291-14291 发育形态 是 属于 的 subrelation
(subrelation deviceState attribute) Mid-level-ontology.kif 1852-1852 设备状态 是 属于 的 subrelation
(subrelation economyType attribute) Economy.kif 86-86 经济类型 是 属于 的 subrelation
(subrelation governmentType attribute) Government.kif 130-130 政府类型 是 属于 的 subrelation
(subrelation hasGUEState attribute) ComputerInput.kif 1882-1882 hasGUEState 是 属于 的 subrelation
(subrelation hasMolecularStructuralAttribute attribute) VirusProteinAndCellPart.kif 163-163 具有分子结构属性 是 属于 的 subrelation
(subrelation hostStatus attribute) QoSontology.kif 2109-2109 主持人身份 是 属于 的 subrelation

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 和 Bare 是 那个 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体 是 服装 的 instance 和 covers 那个 另外 实体 and 那个 实体 在 那个 时间位置 holdsDuring
(<=>
    (attribute ?H LiteracyAttribute)
    (and
        (hasSkill Reading ?H)
        (hasSkill Writing ?H)))		 Mid-level-ontology.kif 14972-14976 识字属性 是 施事体 的 attribute 若且唯若 那个 施事体 hasSkill 去做 朗读 和 那个 施事体 hasSkill 去做 写作
(<=>
    (attribute ?I
        (BeliefGroupMemberFn ?BG))
    (member ?I ?BG))		 People.kif 702-704 信仰团体 的 member 是 客体 的 attribute 若且唯若 那个 客体 是 那个 信仰团体 的 member
(<=>
    (attribute ?INDIVIDUAL Agnostic)
    (member ?INDIVIDUAL Agnosticism))		 People.kif 728-730 不可知 是 客体 的 attribute 若且唯若 那个 客体 是 不可知论 的 member
(<=>
    (attribute ?INDIVIDUAL AhmadiyyaMuslim)
    (member ?INDIVIDUAL AhmadiyyaSect))		 People.kif 1373-1375 Ahmadiyya穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 ahmadiyya教派 的 member
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL Anglicanism))		 People.kif 1251-1253 英国国教 是 客体 的 attribute 若且唯若 那个 客体 是 英国国教 的 member
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL ChurchOfEngland))		 People.kif 1259-1261 英国国教 是 客体 的 attribute 若且唯若 那个 客体 是 英格兰教堂 的 member
(<=>
    (attribute ?INDIVIDUAL Atheist)
    (member ?INDIVIDUAL Atheism))		 People.kif 746-748 无神论者 是 客体 的 attribute 若且唯若 那个 客体 是 无神论 的 member
(<=>
    (attribute ?INDIVIDUAL Bahai)
    (member ?INDIVIDUAL Bahaism))		 People.kif 783-785 巴哈 是 客体 的 attribute 若且唯若 那个 客体 是 巴哈主义 的 member
(<=>
    (attribute ?INDIVIDUAL Buddhist)
    (member ?INDIVIDUAL Buddhism))		 People.kif 795-797 佛教徒 是 客体 的 attribute 若且唯若 那个 客体 是 佛教 的 member
(<=>
    (attribute ?INDIVIDUAL Confucianist)
    (member ?INDIVIDUAL Confucianism))		 People.kif 1332-1334 儒 是 客体 的 attribute 若且唯若 那个 客体 是 儒 的 member
(<=>
    (attribute ?INDIVIDUAL DruzeMuslim)
    (member ?INDIVIDUAL DruzeSect))		 People.kif 1387-1389 德鲁兹穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 德鲁兹教派 的 member
(<=>
    (attribute ?INDIVIDUAL EasternOrthodoxChristian)
    (member ?INDIVIDUAL EasternOrthodoxChristianity))		 People.kif 1273-1275 东正教基督教 是 客体 的 attribute 若且唯若 那个 客体 是 东正教基督教 的 member
(<=>
    (attribute ?INDIVIDUAL Hindu)
    (member ?INDIVIDUAL Hinduism))		 People.kif 1344-1346 印度教 是 客体 的 attribute 若且唯若 那个 客体 是 印度教 的 member
(<=>
    (attribute ?INDIVIDUAL Jain)
    (member ?INDIVIDUAL Jainism))		 People.kif 1437-1439 耆那教 是 客体 的 attribute 若且唯若 那个 客体 是 耆那教 的 member
(<=>
    (attribute ?INDIVIDUAL Muslim)
    (member ?INDIVIDUAL Islam))		 People.kif 1356-1358 穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 伊斯兰教 的 member
(<=>
    (attribute ?INDIVIDUAL Neopaganismist)
    (member ?INDIVIDUAL Neopaganism))		 People.kif 1483-1485 Neopaganismist 是 客体 的 attribute 若且唯若 那个 客体 是 neopaganism 的 member
(<=>
    (attribute ?INDIVIDUAL Protestant)
    (member ?INDIVIDUAL Protestantism))		 People.kif 1287-1289 新教 是 客体 的 attribute 若且唯若 那个 客体 是 新教 的 member
(<=>
    (attribute ?INDIVIDUAL ReligiousJew)
    (member ?INDIVIDUAL Judaism))		 People.kif 1454-1456 宗教的犹太人 是 客体 的 attribute 若且唯若 那个 客体 是 犹太教 的 member
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicChurch))		 People.kif 1309-1311 罗马天主教徒 是 客体 的 attribute 若且唯若 那个 客体 是 罗马天主教会 的 member
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicism))		 People.kif 1301-1303 罗马天主教徒 是 客体 的 attribute 若且唯若 那个 客体 是 罗马天主教 的 member
(<=>
    (attribute ?INDIVIDUAL ShiaMuslim)
    (member ?INDIVIDUAL ShiiteSect))		 People.kif 1403-1405 什叶派穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 什叶派 的 member
(<=>
    (attribute ?INDIVIDUAL Shintoist)
    (member ?INDIVIDUAL Shinto))		 People.kif 1498-1500 神道教 是 客体 的 attribute 若且唯若 那个 客体 是 神道 的 member
(<=>
    (attribute ?INDIVIDUAL Sikh)
    (member ?INDIVIDUAL Sikhism))		 People.kif 1513-1515 锡克教 是 客体 的 attribute 若且唯若 那个 客体 是 锡克教 的 member
(<=>
    (attribute ?INDIVIDUAL SunniMuslim)
    (member ?INDIVIDUAL SunniSect))		 People.kif 1422-1424 逊尼派穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 逊尼派 的 member

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 和 地缘政治区域 和 那个 年 的 male 出生估计寿命 equal 实数 若且唯若 有存在 串列， 另一个 整数,， ， 符号串,， ， 实体,， ， 另一个 实体， and 和 第三 实体 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 那个 另外 整数 的 instance 和 对所有 那个 串列ITEM 和 那个 实数 是 那个 串列 的 average
(<=>
    (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 和 地缘政治区域 和 那个 年 的 female 出生预期寿命 equal 实数 若且唯若 有存在 串列， 另一个 整数,， ， 符号串,， ， 实体,， ， 另一个 实体， and 和 第三 实体 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 那个 另外 整数 的 instance 和 对所有 那个 串列ITEM 和 那个 实数 是 那个 串列 的 average
(<=>
    (attribute ?Q Queen)
    (or
        (attribute ?Q QueenRegnant)
        (attribute ?Q QueenConsort)))		 Government.kif 1400-1404 女王 是 客体 的 attribute 若且唯若 QueenRegnant 是 那个 客体 的 attribute 或 QueenConsort 是 那个 客体 的 attribute
(<=>
    (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 地缘政治区域 的 male 对母性比率 equal 实数 若且唯若 整数 equal 符号串 所描述的类别 instance 的数量 和 另一个 整数 equal 另一个 符号串 所描述的类别 instance 的数量 和 那个 整数 和 那个 另外 整数 equal 那个 实数
(<=>
    (hearingAcuity ?H
        (MeasureFn -10 Decibel)
        (MeasureFn 15 Decibel))
    (attribute ?H NormalHearingSensitivity))		 Medicine.kif 1783-1787 hearingAcuity 人类, -10 Decibel and 15 Decibel 若且唯若 NormalHearingSensitivity 是 那个 人类 的 attribute
(<=>
    (hearingAcuity ?H
        (MeasureFn 16 Decibel)
        (MeasureFn 25 Decibel))
    (attribute ?H BorderlineHearingSensitivity))		 Medicine.kif 1794-1798 hearingAcuity 人类, 16 Decibel and 25 Decibel 若且唯若 BorderlineHearingSensitivity 是 那个 人类 的 attribute
(<=>
    (hearingAcuity ?H
        (MeasureFn 26 Decibel)
        (MeasureFn 40 Decibel))
    (attribute ?H MildHearingLoss))		 Medicine.kif 1805-1809 hearingAcuity 人类, 26 Decibel and 40 Decibel 若且唯若 MildHearingLoss 是 那个 人类 的 attribute
(<=>
    (hearingAcuity ?H
        (MeasureFn 41 Decibel)
        (MeasureFn 55 Decibel))
    (attribute ?H ModerateHearingLoss))		 Medicine.kif 1815-1819 hearingAcuity 人类, 41 Decibel and 55 Decibel 若且唯若 ModerateHearingLoss 是 那个 人类 的 attribute
(<=>
    (hearingAcuity ?H
        (MeasureFn 56 Decibel)
        (MeasureFn 70 Decibel))
    (attribute ?H ModeratelySevereHearingLoss))		 Medicine.kif 1826-1830 hearingAcuity 人类, 56 Decibel and 70 Decibel 若且唯若 ModeratelySevereHearingLoss 是 那个 人类 的 attribute
(<=>
    (hearingAcuity ?H
        (MeasureFn 71 Decibel)
        (MeasureFn 90 Decibel))
    (attribute ?H SevereHearingLoss))		 Medicine.kif 1837-1841 hearingAcuity 人类, 71 Decibel and 90 Decibel 若且唯若 SevereHearingLoss 是 那个 人类 的 attribute
(<=>
    (hearingAcuity ?H
        (MeasureFn 91 Decibel)
        (MeasureFn 200 Decibel))
    (attribute ?H ProfoundHearingLoss))		 Medicine.kif 1848-1852 hearingAcuity 人类, 91 Decibel and 200 Decibel 若且唯若 ProfoundHearingLoss 是 那个 人类 的 attribute
(<=>
    (holdsDuring ?T
        (and
            (instance ?PERSON Human)
            (forall (?ORG)
                (not
                    (employs ?ORG ?PERSON)))))
    (holdsDuring ?T
        (attribute ?PERSON Unemployed)))		 Merge.kif 17224-17232 实体 是 人类 的 instance 和 对所有 另一个 实体 那个 另外 实体 doesn't employs 那个 实体 在 时间位置 holdsDuring 若且唯若 失业的 是 那个 实体 的 attribute 在 那个 时间位置 holdsDuring
(<=>
    (instance ?B Bull)
    (and
        (instance ?B Cattle)
        (attribute ?B Female)))		 Mid-level-ontology.kif 20149-20153 客体 是 公牛 的 instance 若且唯若 那个 客体 是 牛 的 instance 和 女 是 那个 客体 的 attribute
(<=>
    (instance ?B Bull)
    (and
        (instance ?B Cattle)
        (attribute ?B Male)))		 Mid-level-ontology.kif 20167-20171 客体 是 公牛 的 instance 若且唯若 那个 客体 是 牛 的 instance 和 男 是 那个 客体 的 attribute
(<=>
    (instance ?C Calf)
    (and
        (instance ?C Cattle)
        (attribute ?C NonFullyFormed)))		 Mid-level-ontology.kif 20158-20162 客体 是 小牛 的 instance 若且唯若 那个 客体 是 牛 的 instance 和 没有完全形成 是 那个 客体 的 attribute
(<=>
    (instance ?DV DamagedVehicle)
    (and
        (instance ?DV Vehicle)
        (attribute ?DV DeviceDamaged)))		 Mid-level-ontology.kif 30011-30015 客体 是 DamagedVehicle 的 instance 若且唯若 那个 客体 是 车辆 的 instance 和 DeviceDamaged 是 那个 客体 的 attribute
(<=>
    (instance ?H Hen)
    (and
        (instance ?H Chicken)
        (attribute ?H Female)))		 Mid-level-ontology.kif 20181-20185 客体 是 母鸡 的 instance 若且唯若 那个 客体 是 鸡 的 instance 和 女 是 那个 客体 的 attribute
(<=>
    (instance ?ICE Ice)
    (and
        (instance ?ICE Water)
        (attribute ?ICE Solid)))		 Mid-level-ontology.kif 8951-8955 客体 是 冰 的 instance 若且唯若 那个 客体 是 水 的 instance 和 固体 是 那个 客体 的 attribute
(<=>
    (instance ?L Lamb)
    (and
        (instance ?L Sheep)
        (attribute ?L NonFullyFormed)))		 Mid-level-ontology.kif 20135-20139 客体 是 羔羊 的 instance 若且唯若 那个 客体 是 羊 的 instance 和 没有完全形成 是 那个 客体 的 attribute
(<=>
    (instance ?R Rooster)
    (and
        (instance ?R Chicken)
        (attribute ?R Male)))		 Mid-level-ontology.kif 20190-20194 客体 是 公鸡 的 instance 若且唯若 那个 客体 是 鸡 的 instance 和 男 是 那个 客体 的 attribute
(=>
    (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 和 地缘政治区域 和 那个 年 每个女人生的 children equal 符号串 所描述的类别 instance 的数量
(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 contains 独家男性选举权 的资料
(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 ?SYMPTOM 是 ?AGENT 的 biochemical 病毒征兆 和 ?AGENT biochemical 病毒解毒制剂 ?SUBSTANCE 对于 ?PROCESS 和 ?SAMPLE 是 ?SUBSTANCE 的 instance 和 ?THERAPY 是 ?PROCESS 的 instance 和 ?ORGANISM 经历了 ?THERAPY 和 ?SAMPLE 是 ?THERAPY 的 patient 减少 ?SYMPTOM 是 ?ORGANISM 的 attribute 发生的机率
(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 地缘政治区域 的 available 军事服务男性 equal 符号串 所描述的类别 instance 的数量
(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 地缘政治区域 的 fit 对于军服务男性 equal 符号串 所描述的类别 instance 的数量
(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 地缘政治区域 和 年 每年的 reaching 军事男性年龄 equal 符号串 所描述的类别 instance 的数量
(exists (?H)
    (and
        (attribute ?H NewReporter)
        (employs ProPublica ?H)))		 Medicine.kif 4590-4593 有存在 有认知的主事 这样 NewReporter 是 那个 有认知的主事 的 attribute 和 ProPublica employs 那个 有认知的主事
(exists (?MEAL ?REGION)
    (attribute ?MEAL
        (MealAttributeFn ?MEAL ?REGION)))		 Food.kif 1902-1903 有存在 Meal 和 地区 这样 对于 那个 Meal 合适的 meal 在 那个 地区 是 那个 Meal 的 attribute
(increasesLikelihood
    (and
        (biochemicalAgentSyndrome ?AGENT ?SYMPTOM)
        (biochemicalAgentDelivery ?AGENT ?PROCESSTYPE)
        (instance ?PROCESS ?PROCESSTYPE)
        (experiencer ?PROCESS ?ORGANISM))
    (attribute ?ORGANISM ?SYMPTOM))		 WMD.kif 767-773 ?SYMPTOM 是 ?AGENT 的 biochemical 病毒征兆 和 ?PROCESSTYPE 是 ?AGENT 的 biochemical 病毒传递 和 ?PROCESS 是 ?PROCESSTYPE 的 instance 和 ?ORGANISM 经历了 ?PROCESS 增加 ?SYMPTOM 是 ?ORGANISM 的 attribute 发生的机率