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 1780-1781
(documentation attribute EnglishLanguage "(attribute ?OBJECT ?PROPERTY) means that ?PROPERTY is a Attribute of ?OBJECT. For example, (attribute MyLittleRedWagon Red).") Merge.kif 1777-1779
(domain attribute 1 Object) Merge.kif 1776-1776 属于 的 1 数量 是 客体 的 instance
(instance attribute AsymmetricRelation) Merge.kif 1772-1772 属于 是 非对称关系 的 instance
(instance attribute IrreflexiveRelation) Merge.kif 1773-1773 属于 是 非自反关系 的 instance
(instance attribute TotalValuedRelation) Merge.kif 1774-1774 属于 是 总值关系 的 instance
(subrelation attribute property) Merge.kif 1775-1775 属于 是 特性 的 subrelation

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


(disjointRelation manner attribute) Merge.kif 1788-1788 形式 和 属于 是 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
(subrelation bondRating attribute) FinancialOntology.kif 2433-2433 bondRating 是 属于 的 subrelation
(subrelation color attribute) Mid-level-ontology.kif 17138-17138 color 是 属于 的 subrelation
(subrelation creditRanking attribute) FinancialOntology.kif 2424-2424 creditRanking 是 属于 的 subrelation
(subrelation developmentalForm attribute) Merge.kif 14353-14353 发育形态 是 属于 的 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 1478-1478 hasGUEState 是 属于 的 subrelation
(subrelation hasMolecularStructuralAttribute attribute) VirusProteinAndCellPart.kif 118-118 hasMolecularStructuralAttribute 是 属于 的 subrelation
(subrelation hostStatus attribute) QoSontology.kif 2088-2088 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 "属于"

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 18701-18708 客体 是 有感知的主事 的 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 28332-28342 实体 是 身体部位 的 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 9992-9997 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 18701-18708 客体 是 有感知的主事 的 instance 和 Living 是 那个 客体 的 attribute 若且唯若 有存在 实体 这样 那个 实体 是 意识状态 的 instance 和 那个 实体 是 那个 客体 的 attribute
(<=>
    (and
        (instance ?PERSON Human)
        (forall (?ORG)
            (not
                (employs ?ORG ?PERSON))))
    (attribute ?PERSON Unemployed))		 Merge.kif 17604-17610 有认知的主事 是 人类 的 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 13627-13633 有存在 过程 这样 那个 过程 是 放射光线 的 instance 和 客体 是 那个 过程 的 patient 和 那个 客体 是 地区 的 instance 若且唯若 Illuminated 是 那个 客体 的 attribute
(<=>
    (instance ?B Bull)
    (and
        (instance ?B Cow)
        (attribute ?B Male)))		 Mid-level-ontology.kif 17950-17954 客体 是 Bull 的 instance 若且唯若 那个 客体 是 Cow 的 instance 和 Male 是 那个 客体 的 attribute
(<=>
    (instance ?C Calf)
    (and
        (instance ?C Cow)
        (attribute ?C NonFullyFormed)))		 Mid-level-ontology.kif 17942-17946 客体 是 Calf 的 instance 若且唯若 那个 客体 是 Cow 的 instance 和 NonFullyFormed 是 那个 客体 的 attribute
(<=>
    (instance ?COW FemaleCow)
    (and
        (instance ?COW Cow)
        (attribute ?COW Female)))		 Mid-level-ontology.kif 17959-17963 客体 是 FemaleCow 的 instance 若且唯若 那个 客体 是 Cow 的 instance 和 Female 是 那个 客体 的 attribute
(<=>
    (instance ?DV DamagedVehicle)
    (and
        (instance ?DV Vehicle)
        (attribute ?DV DeviceDamaged)))		 Mid-level-ontology.kif 28252-28256 客体 是 DamagedVehicle 的 instance 若且唯若 那个 客体 是 Vehicle 的 instance 和 DeviceDamaged 是 那个 客体 的 attribute
(<=>
    (instance ?H Hen)
    (and
        (instance ?H Chicken)
        (attribute ?H Female)))		 Mid-level-ontology.kif 17976-17980 客体 是 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 17929-17933 客体 是 Lamb 的 instance 若且唯若 那个 客体 是 Sheep 的 instance 和 NonFullyFormed 是 那个 客体 的 attribute
(<=>
    (instance ?OBJ Substance)
    (exists (?ATTR)
        (and
            (instance ?ATTR PhysicalState)
            (attribute ?OBJ ?ATTR))))		 Merge.kif 18006-18011 客体 是 物质 的 instance 若且唯若 有存在 实体 这样 那个 实体 是 物质状态 的 instance 和 那个 实体 是 那个 客体 的 attribute
(<=>
    (instance ?R Rooster)
    (and
        (instance ?R Chicken)
        (attribute ?R Male)))		 Mid-level-ontology.kif 17985-17989 客体 是 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 18415-18422
(=>
    (and
        (agent ?PROCESS ?AGENT)
        (result ?PROCESS ?WORK)
        (instance ?WORK ArtWork))
    (holdsDuring
        (WhenFn ?PROCESS)
        (attribute ?AGENT Artist)))		 Mid-level-ontology.kif 16421-16427
(=>
    (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 17696-17709
(=>
    (and
        (attribute ?OBJ Monochromatic)
        (superficialPart ?PART ?OBJ)
        (attribute ?PART ?COLOR)
        (instance ?COLOR PrimaryColor))
    (forall (?ELEMENT)
        (=>
            (superficialPart ?ELEMENT ?OBJ)
            (attribute ?ELEMENT ?COLOR))))		 Merge.kif 18129-18138
(=>
    (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 对所有 ?AGENT， ?VOTER,， ， ?ELECTION， and 和 ?VOTING 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 ?AGENT and ?SYMPTOM 和 biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS 和 ?SAMPLE 是 ?SUBSTANCE 的 instance 和 ?THERAPY 是 ?PROCESS 的 instance 和 ?ORGANISM 经历了 ?THERAPY 和 ?SUBSTANCE 是 ?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 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 ?AGENT and ?SYMPTOM 和 biochemicalAgentDelivery ?AGENT and ?PROCESSTYPE 和 ?PROCESS 是 ?PROCESSTYPE 的 instance 和 ?ORGANISM 经历了 ?PROCESS 增加 ?SYMPTOM 是 ?ORGANISM 的 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