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

Formal Language: 



KB Term:  Term intersection
English Word: 

  attribute

 Sigma KEE - attribute
attribute

appearance as argument number 1
-------------------------


(documentation attribute ChineseLanguage "(attribute ?OBJECT ?PROPERTY) 的意思是 ?PROPERTY 是 ?OBJECT 的 Attribute。例如：(&%attribute MyLittleRedWagon Red)。") Merge.kif 1767-1768
(documentation attribute EnglishLanguage "(attribute ?OBJECT ?PROPERTY) means that ?PROPERTY is a Attribute of ?OBJECT. For example, (attribute MyLittleRedWagon Red).") Merge.kif 1764-1766
(domain attribute 1 Object) Merge.kif 1763-1763 属于 的 1 数量 是 客体 的 instance
(instance attribute AsymmetricRelation) Merge.kif 1759-1759 属于 是 非对称关系 的 instance
(instance attribute IrreflexiveRelation) Merge.kif 1760-1760 属于 是 非自反关系 的 instance
(instance attribute TotalValuedRelation) Merge.kif 1761-1761 属于 是 总值关系 的 instance
(subrelation attribute property) Merge.kif 1762-1762 属于 是 特性 的 subrelation

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


(disjointRelation manner attribute) Merge.kif 1775-1775 形式 和 属于 是 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 56-56
(format FrenchLanguage attribute "%2 est %n un attribut de %1") french_format.kif 56-56
(format PortugueseLanguage attribute "%2 e' %n um atributo de %1") portuguese_format.kif 8-8
(format ar attribute "%2 هو %n صِفَة لِـ %1") arabic_format.kif 6-6
(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 tg attribute "%1 %n may katangian ng %2") relations-cb.txt 63-63
(subrelation bondRating attribute) FinancialOntology.kif 2433-2433 bondRating 是 属于 的 subrelation
(subrelation color attribute) Mid-level-ontology.kif 17080-17080 color 是 属于 的 subrelation
(subrelation creditRanking attribute) FinancialOntology.kif 2424-2424 creditRanking 是 属于 的 subrelation
(subrelation developmentalForm attribute) Merge.kif 14295-14295 发育形态 是 属于 的 subrelation
(subrelation deviceState attribute) Mid-level-ontology.kif 2342-2342 deviceState 是 属于 的 subrelation
(subrelation economyType attribute) Economy.kif 86-86 economyType 是 属于 的 subrelation
(subrelation governmentType attribute) Government.kif 130-130 governmentType 是 属于 的 subrelation
(subrelation hasGUEState attribute) ComputerInput.kif 1527-1527 hasGUEState 是 属于 的 subrelation
(subrelation hasMolecularStructuralAttribute attribute) VirusProteinAndCellPart.kif 118-118 hasMolecularStructuralAttribute 是 属于 的 subrelation
(subrelation hostStatus attribute) QoSontology.kif 2072-2072 hostStatus 是 属于 的 subrelation
(subrelation musicGenre attribute) Music.kif 344-344 musicGenre 是 属于 的 subrelation
(subrelation organizationalObjective attribute) Government.kif 2542-2542 organizationalObjective 是 属于 的 subrelation
(termFormat ChineseLanguage attribute "属于") chinese_format.kif 60-60 termFormat ChineseLanguage, 属于 and "属于"
(termFormat ar attribute "«صِفَة»") arabic_format.kif 456-456 termFormat ar, 属于 and "«صِفَة»"

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(<=>
    (and
        (attribute ?INDIVIDUAL ?CH)
        (instance ?CH Christian))
    (member ?INDIVIDUAL Christianity))		 People.kif 797-801 实体 是 客体 的 attribute 和 那个 实体 是 Christian 的 instance 若且唯若 那个 客体 是 Christianity 的 member
(<=>
    (and
        (instance ?AGENT SentientAgent)
        (attribute ?AGENT Living))
    (exists (?ATTR)
        (and
            (instance ?ATTR ConsciousnessAttribute)
            (attribute ?AGENT ?ATTR))))		 Merge.kif 18649-18656 客体 是 有感知的主事 的 instance 和 Living 是 那个 客体 的 attribute 若且唯若 有存在 实体 这样 那个 实体 是 意识状态 的 instance 和 那个 实体 是 那个 客体 的 attribute
(<=>
    (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 28252-28262 客体 是 身体部位 的 instance 和 Bare 是 那个 客体 的 attribute 在 实体 holdsDuring 若且唯若 不存在 另一个 客体 这样 那个 另外 客体 是 服装 的 instance 和 covers 那个 另外 客体 and 那个 客体 在 那个 实体 holdsDuring
(<=>
    (attribute ?H LiteracyAttribute)
    (and
        (hasSkill Reading ?H)
        (hasSkill Writing ?H)))		 Mid-level-ontology.kif 12702-12706 LiteracyAttribute 是 施事体 的 attribute 若且唯若 那个 施事体 hasSkill 去做 朗读 和 那个 施事体 hasSkill 去做 写作
(<=>
    (attribute ?HOLE1 Fillable)
    (exists (?HOLE2)
        (and
            (instance ?HOLE2 Hole)
            (part ?HOLE1 ?HOLE2))))		 Merge.kif 9934-9939 Fillable 是 客体 的 attribute 若且唯若 有存在 另一个 客体 这样 那个 另外 客体 是 洞 的 instance 和 那个 客体 是 那个 另外 客体 的 part
(<=>
    (attribute ?I
        (BeliefGroupMemberFn ?BG))
    (member ?I ?BG))		 People.kif 678-680 BeliefGroupMemberFn BeliefGroup 是 客体 的 attribute 若且唯若 那个 客体 是 那个 BeliefGroup 的 member
(<=>
    (attribute ?INDIVIDUAL Agnostic)
    (member ?INDIVIDUAL Agnosticism))		 People.kif 704-706 Agnostic 是 客体 的 attribute 若且唯若 那个 客体 是 Agnosticism 的 member
(<=>
    (attribute ?INDIVIDUAL AhmadiyyaMuslim)
    (member ?INDIVIDUAL AhmadiyyaSect))		 People.kif 1348-1350 AhmadiyyaMuslim 是 客体 的 attribute 若且唯若 那个 客体 是 AhmadiyyaSect 的 member
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL Anglicanism))		 People.kif 1227-1229 Anglican 是 客体 的 attribute 若且唯若 那个 客体 是 Anglicanism 的 member
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL ChurchOfEngland))		 People.kif 1235-1237 Anglican 是 客体 的 attribute 若且唯若 那个 客体 是 ChurchOfEngland 的 member
(<=>
    (attribute ?INDIVIDUAL Atheist)
    (member ?INDIVIDUAL Atheism))		 People.kif 722-724 Atheist 是 客体 的 attribute 若且唯若 那个 客体 是 Atheism 的 member
(<=>
    (attribute ?INDIVIDUAL Bahai)
    (member ?INDIVIDUAL Bahaism))		 People.kif 759-761 Bahai 是 客体 的 attribute 若且唯若 那个 客体 是 Bahaism 的 member
(<=>
    (attribute ?INDIVIDUAL Buddhist)
    (member ?INDIVIDUAL Buddhism))		 People.kif 771-773 Buddhist 是 客体 的 attribute 若且唯若 那个 客体 是 Buddhism 的 member
(<=>
    (attribute ?INDIVIDUAL Confucianist)
    (member ?INDIVIDUAL Confucianism))		 People.kif 1308-1310 Confucianist 是 客体 的 attribute 若且唯若 那个 客体 是 Confucianism 的 member
(<=>
    (attribute ?INDIVIDUAL DruzeMuslim)
    (member ?INDIVIDUAL DruzeSect))		 People.kif 1361-1363 DruzeMuslim 是 客体 的 attribute 若且唯若 那个 客体 是 DruzeSect 的 member
(<=>
    (attribute ?INDIVIDUAL EasternOrthodoxChristian)
    (member ?INDIVIDUAL EasternOrthodoxChristianity))		 People.kif 1249-1251 EasternOrthodoxChristian 是 客体 的 attribute 若且唯若 那个 客体 是 EasternOrthodoxChristianity 的 member
(<=>
    (attribute ?INDIVIDUAL Hindu)
    (member ?INDIVIDUAL Hinduism))		 People.kif 1320-1322 Hindu 是 客体 的 attribute 若且唯若 那个 客体 是 Hinduism 的 member
(<=>
    (attribute ?INDIVIDUAL Jain)
    (member ?INDIVIDUAL Jainism))		 People.kif 1409-1411 Jain 是 客体 的 attribute 若且唯若 那个 客体 是 Jainism 的 member
(<=>
    (attribute ?INDIVIDUAL Muslim)
    (member ?INDIVIDUAL Islam))		 People.kif 1332-1334 Muslim 是 客体 的 attribute 若且唯若 那个 客体 是 Islam 的 member
(<=>
    (attribute ?INDIVIDUAL Neopaganismist)
    (member ?INDIVIDUAL Neopaganism))		 People.kif 1455-1457 Neopaganismist 是 客体 的 attribute 若且唯若 那个 客体 是 Neopaganism 的 member
(<=>
    (attribute ?INDIVIDUAL Protestant)
    (member ?INDIVIDUAL Protestantism))		 People.kif 1263-1265 Protestant 是 客体 的 attribute 若且唯若 那个 客体 是 Protestantism 的 member
(<=>
    (attribute ?INDIVIDUAL ReligiousJew)
    (member ?INDIVIDUAL Judaism))		 People.kif 1426-1428 ReligiousJew 是 客体 的 attribute 若且唯若 那个 客体 是 Judaism 的 member
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicChurch))		 People.kif 1285-1287 RomanCatholic 是 客体 的 attribute 若且唯若 那个 客体 是 RomanCatholicChurch 的 member
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicism))		 People.kif 1277-1279 RomanCatholic 是 客体 的 attribute 若且唯若 那个 客体 是 RomanCatholicism 的 member
(<=>
    (attribute ?INDIVIDUAL ShiaMuslim)
    (member ?INDIVIDUAL ShiiteSect))		 People.kif 1376-1378 ShiaMuslim 是 客体 的 attribute 若且唯若 那个 客体 是 ShiiteSect 的 member

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(<=>
    (and
        (instance ?AGENT SentientAgent)
        (attribute ?AGENT Living))
    (exists (?ATTR)
        (and
            (instance ?ATTR ConsciousnessAttribute)
            (attribute ?AGENT ?ATTR))))		 Merge.kif 18649-18656 客体 是 有感知的主事 的 instance 和 Living 是 那个 客体 的 attribute 若且唯若 有存在 实体 这样 那个 实体 是 意识状态 的 instance 和 那个 实体 是 那个 客体 的 attribute
(<=>
    (and
        (instance ?PERSON Human)
        (forall (?ORG)
            (not
                (employs ?ORG ?PERSON))))
    (attribute ?PERSON Unemployed))		 Merge.kif 17552-17558 有认知的主事 是 人类 的 instance 和 对所有 施事体 那个 施事体 doesn't employs 那个 有认知的主事 若且唯若 Unemployed 是 那个 有认知的主事 的 attribute
(<=>
    (attribute ?Q Queen)
    (or
        (attribute ?Q QueenRegnant)
        (attribute ?Q QueenConsort)))		 Government.kif 1360-1364 Queen 是 客体 的 attribute 若且唯若 QueenRegnant 是 那个 客体 的 attribute 或 QueenConsort 是 那个 客体 的 attribute
(<=>
    (equal
        (FemaleLifeExpectancyAtBirthFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (exists (?LIST)
        (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)
                                            (YearFn ?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 411-442 FemaleLifeExpectancyAtBirthFn 地缘政治区域 and 整数 year equal 实数 若且唯若 有存在 串列 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 另一个 整数 的 instance 和 对所有 那个 串列ITEM 和 average 那个 串列 and 那个 实数
(<=>
    (equal
        (MaleLifeExpectancyAtBirthFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (exists (?LIST)
        (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)
                                            (YearFn ?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 367-398 MaleLifeExpectancyAtBirthFn 地缘政治区域 and 整数 year equal 实数 若且唯若 有存在 串列 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 另一个 整数 的 instance 和 对所有 那个 串列ITEM 和 average 那个 串列 and 那个 实数
(<=>
    (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 221-238 MaleToFemaleRatioFn 地缘政治区域 equal 实数 若且唯若 整数 equal 生物 所描述的类别 instance 的数量 和 另一个 整数 equal 另一个 生物 所描述的类别 instance 的数量 和 那个 整数 和 那个 另外 整数 equal 那个 实数
(<=>
    (exists (?EMIT)
        (and
            (instance ?EMIT RadiatingLight)
            (patient ?EMIT ?REGION)
            (instance ?REGION Region)))
    (attribute ?REGION Illuminated))		 Merge.kif 13569-13575 有存在 过程 这样 那个 过程 是 放射光线 的 instance 和 客体 是 那个 过程 的 patient 和 那个 客体 是 地区 的 instance 若且唯若 Illuminated 是 那个 客体 的 attribute
(<=>
    (instance ?B Bull)
    (and
        (instance ?B Cow)
        (attribute ?B Male)))		 Mid-level-ontology.kif 17892-17896 客体 是 Bull 的 instance 若且唯若 那个 客体 是 Cow 的 instance 和 Male 是 那个 客体 的 attribute
(<=>
    (instance ?C Calf)
    (and
        (instance ?C Cow)
        (attribute ?C NonFullyFormed)))		 Mid-level-ontology.kif 17884-17888 客体 是 Calf 的 instance 若且唯若 那个 客体 是 Cow 的 instance 和 NonFullyFormed 是 那个 客体 的 attribute
(<=>
    (instance ?COW FemaleCow)
    (and
        (instance ?COW Cow)
        (attribute ?COW Female)))		 Mid-level-ontology.kif 17901-17905 客体 是 FemaleCow 的 instance 若且唯若 那个 客体 是 Cow 的 instance 和 Female 是 那个 客体 的 attribute
(<=>
    (instance ?DV DamagedVehicle)
    (and
        (instance ?DV Vehicle)
        (attribute ?DV DeviceDamaged)))		 Mid-level-ontology.kif 28172-28176 客体 是 DamagedVehicle 的 instance 若且唯若 那个 客体 是 Vehicle 的 instance 和 DeviceDamaged 是 那个 客体 的 attribute
(<=>
    (instance ?H Hen)
    (and
        (instance ?H Chicken)
        (attribute ?H Female)))		 Mid-level-ontology.kif 17918-17922 客体 是 Hen 的 instance 若且唯若 那个 客体 是 Chicken 的 instance 和 Female 是 那个 客体 的 attribute
(<=>
    (instance ?ICE Ice)
    (and
        (instance ?ICE Water)
        (attribute ?ICE Solid)))		 Mid-level-ontology.kif 8652-8656 客体 是 Ice 的 instance 若且唯若 那个 客体 是 水 的 instance 和 Solid 是 那个 客体 的 attribute
(<=>
    (instance ?L Lamb)
    (and
        (instance ?L Sheep)
        (attribute ?L NonFullyFormed)))		 Mid-level-ontology.kif 17871-17875 客体 是 Lamb 的 instance 若且唯若 那个 客体 是 Sheep 的 instance 和 NonFullyFormed 是 那个 客体 的 attribute
(<=>
    (instance ?OBJ Substance)
    (exists (?ATTR)
        (and
            (instance ?ATTR PhysicalState)
            (attribute ?OBJ ?ATTR))))		 Merge.kif 17954-17959 客体 是 物质 的 instance 若且唯若 有存在 实体 这样 那个 实体 是 物质状态 的 instance 和 那个 实体 是 那个 客体 的 attribute
(<=>
    (instance ?R Rooster)
    (and
        (instance ?R Chicken)
        (attribute ?R Male)))		 Mid-level-ontology.kif 17927-17931 客体 是 Rooster 的 instance 若且唯若 那个 客体 是 Chicken 的 instance 和 Male 是 那个 客体 的 attribute
(=>
    (accommodationProvider ?PKG ?HOTEL)
    (attribute ?HOTEL TravelerAccommodation))		 Hotel.kif 2704-2706
(=>
    (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 14408-14417
(=>
    (and
        (actedIn ?ACTOR ?O)
        (instance ?PERF DramaticActing)
        (patient ?PERF ?ACTOR)
        (result ?PERF ?O))
    (holdsDuring
        (WhenFn ?PERF)
        (attribute ?ACTOR Actor)))		 Mid-level-ontology.kif 18357-18364
(=>
    (and
        (agent ?PROCESS ?AGENT)
        (result ?PROCESS ?WORK)
        (instance ?WORK ArtWork))
    (holdsDuring
        (WhenFn ?PROCESS)
        (attribute ?AGENT Artist)))		 Mid-level-ontology.kif 16391-16397
(=>
    (and
        (attribute ?H Muslim)
        (equal
            (WealthFn ?H) ?W))
    (modalAttribute
        (exists (?Z ?T)
            (and
                (instance ?Z Zakat)
                (instance ?Y Year)
                (during ?Y
                    (WhenFn ?H))
                (holdsDuring ?Y
                    (attribute ?H FullyFormed))
                (agent ?Z ?H)
                (patient ?Z ?T)
                (monetaryValue ?T ?C)
                (greaterThan ?C
                    (MultiplicationFn ?W 0.025)))) Obligation))		 ArabicCulture.kif 193-210
(=>
    (and
        (attribute ?O ?P)
        (instance ?P Fingerprint)
        (not
            (instance ?O Finger)))
    (exists (?PR ?F)
        (and
            (instrument ?PR ?F)
            (instance ?F Finger)
            (attribute ?F ?P)
            (patient ?PR ?O))))		 Mid-level-ontology.kif 10255-10265
(=>
    (and
        (attribute ?OBJ ?ATR)
        (instance ?ATR SubjectiveAssessmentAttribute))
    (exists (?TIME ?JUDGE ?AGENT)
        (and
            (instance ?JUDGE Judging)
            (agent ?JUDGE ?AGENT)
            (patient ?JUDGE ?OBJ)
            (patient ?JUDGE
                (attribute ?OBJ ?ATR))
            (holdsDuring ?TIME
                (believes ?AGENT
                    (property ?OBJ ?ATR))))))		 Merge.kif 17644-17657
(=>
    (and
        (attribute ?OBJ Monochromatic)
        (superficialPart ?PART ?OBJ)
        (attribute ?PART ?COLOR)
        (instance ?COLOR PrimaryColor))
    (forall (?ELEMENT)
        (=>
            (superficialPart ?ELEMENT ?OBJ)
            (attribute ?ELEMENT ?COLOR))))		 Merge.kif 18077-18086
(=>
    (and
        (attribute ?OFFICER ?COR)
        (instance ?COR CommissionedOfficerRank))
    (exists (?MANAGE ?PATIENT)
        (and
            (instance ?MANAGE Managing)
            (agent ?MANAGE ?OFFICER)
            (patient ?MANAGE ?PATIENT)
            (or
                (instance ?PATIENT MilitaryOrganization)
                (attribute ?PATIENT Soldier)))))		 Military.kif 286-297

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


(containsInformation
    (forall (?AGENT ?VOTER ?ELECTION ?VOTING)
        (=>
            (and
                (instance ?ELECTION
                    (ElectionFn ?AGENT))
                (instance ?VOTING
                    (VotingFn ?ELECTION))
                (agent ?VOTING ?VOTER))
            (attribute ?VOTER Male))) ExclusiveMaleSuffrage)		 Government.kif 1202-1209 对所有 施事体， 另一个 施事体,， ， Election， and 和 过程 contains ExclusiveMaleSuffrage 的资料
(decreasesLikelihood
    (and
        (biochemicalAgentSyndrome ?AGENT ?SYMPTOM)
        (biochemicalAgentAntidote ?AGENT ?SUBSTANCE ?PROCESS)
        (instance ?SAMPLE ?SUBSTANCE)
        (instance ?THERAPY ?PROCESS)
        (experiencer ?THERAPY ?ORGANISM)
        (patient ?THERAPY ?SUBSTANCE))
    (attribute ?ORGANISM ?SYMPTOM))		 WMD.kif 870-878 biochemicalAgentSyndrome 有点 BiochemicalAgent and 疾病或综合症 和 biochemicalAgentAntidote 有点 BiochemicalAgent, 有点 生物活性物质 and 有点 过程 和 实体 是 有点 生物活性物质 的 instance 和 另一个 过程 是 有点 过程 的 instance 和 施事体 经历了 那个 另外 过程 和 那个 有点 生物活性物质 是 那个 另外 过程 的 patient 减少 那个 疾病或综合症 是 那个 施事体 的 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 867-876 AvailableForMilitaryServiceMaleFn 地缘政治区域 equal 生物 所描述的类别 instance 的数量
(equal
    (ChildrenBornPerWomanFn ?AREA
        (YearFn ?YEAR))
    (CardinalityFn
        (KappaFn ?INFANT
            (and
                (instance ?BIRTH Birth)
                (experiencer ?BIRTH ?INFANT)
                (agent ?BIRTH ?WOMAN)
                (instance ?WOMAN Human)
                (attribute ?WOMAN Female)
                (holdsDuring
                    (YearFn ?YEAR)
                    (inhabits ?WOMAN ?AREA))))))		 People.kif 462-472 ChildrenBornPerWomanFn 地缘政治区域 and 整数 year equal 施事体 所描述的类别 instance 的数量
(equal
    (FitForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (instance ?PROCESS MilitaryProcess)
                (fitForMilitaryService ?PERSON ?PROCESS)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))		 Military.kif 890-901 FitForMilitaryServiceMaleFn 地缘政治区域 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 928-941 ReachingMilitaryAgeAnnuallyMaleFn 地缘政治区域 and 年 equal 生物 所描述的类别 instance 的数量
(exists (?MEAL ?REGION)
    (attribute ?MEAL
        (MealAttributeFn ?MEAL ?REGION)))		 Food.kif 297-298 有存在 Meal 和 地区 这样 MealAttributeFn 那个 Meal and 那个 地区 是 那个 Meal 的 attribute
(increasesLikelihood
    (and
        (biochemicalAgentSyndrome ?AGENT ?SYMPTOM)
        (biochemicalAgentDelivery ?AGENT ?PROCESSTYPE)
        (instance ?PROCESS ?PROCESSTYPE)
        (experiencer ?PROCESS ?ORGANISM))
    (attribute ?ORGANISM ?SYMPTOM))		 WMD.kif 761-767 biochemicalAgentSyndrome 有点 BiochemicalAgent and 疾病或综合症 和 biochemicalAgentDelivery 有点 BiochemicalAgent and 有点 过程 和 另一个 过程 是 有点 过程 的 instance 和 施事体 经历了 那个 另外 过程 增加 那个 疾病或综合症 是 那个 施事体 的 attribute 发生的机率


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners