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)。") 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 1632-1634
(domain attribute 1 Object) Merge.kif 1629-1629 属于 的 1 数量 是 客体 的 instance
(domain attribute 2 Attribute) Merge.kif 1630-1630 属于 的 2 数量 是 属性 的 instance
(instance attribute AsymmetricRelation) Merge.kif 1624-1624 属于 是 非对称关系 的 instance
(instance attribute BinaryPredicate) Merge.kif 1627-1627 属于 是 二元谓语 的 instance
(instance attribute IrreflexiveRelation) Merge.kif 1625-1625 属于 是 非自反关系 的 instance
(instance attribute TotalValuedRelation) Merge.kif 1626-1626 属于 是 总值关系 的 instance
(subrelation attribute property) Merge.kif 1628-1628 属于 是 特性 的 subrelation

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


(disjointRelation manner attribute) Merge.kif 1643-1643 形式 和 属于 是 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
(subrelation bondRating attribute) FinancialOntology.kif 2432-2432 债券评级 是 属于 的 subrelation
(subrelation color attribute) Mid-level-ontology.kif 17170-17170 color 是 属于 的 subrelation
(subrelation creditRanking attribute) FinancialOntology.kif 2423-2423 信用评级 是 属于 的 subrelation
(subrelation developmentalForm attribute) Merge.kif 13306-13306 发育形态 是 属于 的 subrelation
(subrelation deviceState attribute) Mid-level-ontology.kif 2343-2343 设备状态 是 属于 的 subrelation
(subrelation economyType attribute) Economy.kif 86-86 经济类型 是 属于 的 subrelation
(subrelation governmentType attribute) Government.kif 130-130 政府类型 是 属于 的 subrelation
(subrelation hasGUEState attribute) ComputerInput.kif 1897-1897 hasGUEState 是 属于 的 subrelation
(subrelation hasMolecularStructuralAttribute attribute) VirusProteinAndCellPart.kif 118-118 具有分子结构属性 是 属于 的 subrelation
(subrelation hostStatus attribute) QoSontology.kif 2115-2115 主持人身份 是 属于 的 subrelation
(subrelation musicGenre attribute) Music.kif 338-338 musicGenre 是 属于 的 subrelation
(subrelation organizationalObjective attribute) Government.kif 2536-2536 组织目标 是 属于 的 subrelation
(termFormat ChineseLanguage attribute "属于") chinese_format.kif 60-60

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


(<=>
    (and
        (attribute ?INDIVIDUAL ?CH)
        (instance ?CH Christian))
    (member ?INDIVIDUAL Christianity))		 People.kif 797-801 属性 是 客体 的 attribute 和 那个 属性 是 基督教 的 instance 若且唯若 那个 客体 是 基督教 的 member
(<=>
    (and
        (instance ?AGENT SentientAgent)
        (attribute ?AGENT Living))
    (exists (?ATTR)
        (and
            (instance ?ATTR ConsciousnessAttribute)
            (attribute ?AGENT ?ATTR))))		 Merge.kif 16988-16995 客体 是 有感知的主事 的 instance 和 活的 是 那个 客体 的 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 28370-28380 实体 是 身体部位 的 instance 和 Bare 是 那个 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体 是 服装 的 instance 和 covers 那个 另外 实体 and 那个 实体 在 那个 时间位置 holdsDuring
(<=>
    (attribute ?H LiteracyAttribute)
    (and
        (hasSkill Reading ?H)
        (hasSkill Writing ?H)))		 Mid-level-ontology.kif 12729-12733 识字属性 是 施事体 的 attribute 若且唯若 那个 施事体 hasSkill 去做 朗读 和 那个 施事体 hasSkill 去做 写作
(<=>
    (attribute ?HOLE1 Fillable)
    (exists (?HOLE2)
        (and
            (instance ?HOLE2 Hole)
            (part ?HOLE1 ?HOLE2))))		 Merge.kif 9394-9399 可填写 是 客体 的 attribute 若且唯若 有存在 另一个 客体 这样 那个 另外 客体 是 洞 的 instance 和 那个 客体 是 那个 另外 客体 的 part
(<=>
    (attribute ?I
        (BeliefGroupMemberFn ?BG))
    (member ?I ?BG))		 People.kif 678-680 信仰团体 的 member 是 客体 的 attribute 若且唯若 那个 客体 是 那个 信仰团体 的 member
(<=>
    (attribute ?INDIVIDUAL Agnostic)
    (member ?INDIVIDUAL Agnosticism))		 People.kif 704-706 不可知 是 客体 的 attribute 若且唯若 那个 客体 是 不可知论 的 member
(<=>
    (attribute ?INDIVIDUAL AhmadiyyaMuslim)
    (member ?INDIVIDUAL AhmadiyyaSect))		 People.kif 1349-1351 Ahmadiyya穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 ahmadiyya教派 的 member
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL Anglicanism))		 People.kif 1227-1229 英国国教 是 客体 的 attribute 若且唯若 那个 客体 是 英国国教 的 member
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL ChurchOfEngland))		 People.kif 1235-1237 英国国教 是 客体 的 attribute 若且唯若 那个 客体 是 英格兰教堂 的 member
(<=>
    (attribute ?INDIVIDUAL Atheist)
    (member ?INDIVIDUAL Atheism))		 People.kif 722-724 无神论者 是 客体 的 attribute 若且唯若 那个 客体 是 无神论 的 member
(<=>
    (attribute ?INDIVIDUAL Bahai)
    (member ?INDIVIDUAL Bahaism))		 People.kif 759-761 巴哈 是 客体 的 attribute 若且唯若 那个 客体 是 巴哈主义 的 member
(<=>
    (attribute ?INDIVIDUAL Buddhist)
    (member ?INDIVIDUAL Buddhism))		 People.kif 771-773 佛教徒 是 客体 的 attribute 若且唯若 那个 客体 是 佛教 的 member
(<=>
    (attribute ?INDIVIDUAL Confucianist)
    (member ?INDIVIDUAL Confucianism))		 People.kif 1308-1310 儒 是 客体 的 attribute 若且唯若 那个 客体 是 儒 的 member
(<=>
    (attribute ?INDIVIDUAL DruzeMuslim)
    (member ?INDIVIDUAL DruzeSect))		 People.kif 1363-1365 德鲁兹穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 德鲁兹教派 的 member
(<=>
    (attribute ?INDIVIDUAL EasternOrthodoxChristian)
    (member ?INDIVIDUAL EasternOrthodoxChristianity))		 People.kif 1249-1251 东正教基督教 是 客体 的 attribute 若且唯若 那个 客体 是 东正教基督教 的 member
(<=>
    (attribute ?INDIVIDUAL Hindu)
    (member ?INDIVIDUAL Hinduism))		 People.kif 1320-1322 印度教 是 客体 的 attribute 若且唯若 那个 客体 是 印度教 的 member
(<=>
    (attribute ?INDIVIDUAL Jain)
    (member ?INDIVIDUAL Jainism))		 People.kif 1413-1415 耆那教 是 客体 的 attribute 若且唯若 那个 客体 是 耆那教 的 member
(<=>
    (attribute ?INDIVIDUAL Muslim)
    (member ?INDIVIDUAL Islam))		 People.kif 1332-1334 穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 伊斯兰教 的 member
(<=>
    (attribute ?INDIVIDUAL Neopaganismist)
    (member ?INDIVIDUAL Neopaganism))		 People.kif 1459-1461 Neopaganismist 是 客体 的 attribute 若且唯若 那个 客体 是 neopaganism 的 member
(<=>
    (attribute ?INDIVIDUAL Protestant)
    (member ?INDIVIDUAL Protestantism))		 People.kif 1263-1265 新教 是 客体 的 attribute 若且唯若 那个 客体 是 新教 的 member
(<=>
    (attribute ?INDIVIDUAL ReligiousJew)
    (member ?INDIVIDUAL Judaism))		 People.kif 1430-1432 宗教的犹太人 是 客体 的 attribute 若且唯若 那个 客体 是 犹太教 的 member
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicChurch))		 People.kif 1285-1287 罗马天主教徒 是 客体 的 attribute 若且唯若 那个 客体 是 罗马天主教会 的 member
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicism))		 People.kif 1277-1279 罗马天主教徒 是 客体 的 attribute 若且唯若 那个 客体 是 罗马天主教 的 member
(<=>
    (attribute ?INDIVIDUAL ShiaMuslim)
    (member ?INDIVIDUAL ShiiteSect))		 People.kif 1379-1381 什叶派穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 什叶派 的 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 16988-16995 客体 是 有感知的主事 的 instance 和 活的 是 那个 客体 的 attribute 若且唯若 有存在 属性 这样 那个 属性 是 意识状态 的 instance 和 那个 属性 是 那个 客体 的 attribute
(<=>
    (and
        (instance ?PERSON Human)
        (forall (?ORG)
            (not
                (employs ?ORG ?PERSON))))
    (attribute ?PERSON Unemployed))		 Merge.kif 16084-16090 有认知的主事 是 人类 的 instance 和 对所有 施事体 那个 施事体 doesn't employs 那个 有认知的主事 若且唯若 失业的 是 那个 有认知的主事 的 attribute
(<=>
    (attribute ?Q Queen)
    (or
        (attribute ?Q QueenRegnant)
        (attribute ?Q QueenConsort)))		 Government.kif 1354-1358 女王 是 客体 的 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 地缘政治区域 和 整数 year 的 female 出生预期寿命 equal 实数 若且唯若 有存在 串列 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 另一个 整数 的 instance 和 对所有 那个 串列ITEM 和 那个 实数 是 那个 串列 的 average
(<=>
    (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 地缘政治区域 和 整数 year 的 male 出生估计寿命 equal 实数 若且唯若 有存在 串列 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 另一个 整数 的 instance 和 对所有 那个 串列ITEM 和 那个 实数 是 那个 串列 的 average
(<=>
    (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 地缘政治区域 的 male 对母性比率 equal 实数 若且唯若 整数 equal 符号串 所描述的类别 instance 的数量 和 另一个 整数 equal 另一个 符号串 所描述的类别 instance 的数量 和 那个 整数 和 那个 另外 整数 equal 那个 实数
(<=>
    (exists (?EMIT)
        (and
            (instance ?EMIT RadiatingLight)
            (patient ?EMIT ?REGION)
            (instance ?REGION Region)))
    (attribute ?REGION Illuminated))		 Merge.kif 12669-12675 有存在 过程 这样 那个 过程 是 放射光线 的 instance 和 客体 是 那个 过程 的 patient 和 那个 客体 是 地区 的 instance 若且唯若 发光的 是 那个 客体 的 attribute
(<=>
    (instance ?B Bull)
    (and
        (instance ?B Cow)
        (attribute ?B Male)))		 Mid-level-ontology.kif 17982-17986 客体 是 公牛 的 instance 若且唯若 那个 客体 是 牛 的 instance 和 男 是 那个 客体 的 attribute
(<=>
    (instance ?C Calf)
    (and
        (instance ?C Cow)
        (attribute ?C NonFullyFormed)))		 Mid-level-ontology.kif 17974-17978 客体 是 小牛 的 instance 若且唯若 那个 客体 是 牛 的 instance 和 没有完全形成 是 那个 客体 的 attribute
(<=>
    (instance ?COW FemaleCow)
    (and
        (instance ?COW Cow)
        (attribute ?COW Female)))		 Mid-level-ontology.kif 17991-17995 客体 是 母牛 的 instance 若且唯若 那个 客体 是 牛 的 instance 和 女 是 那个 客体 的 attribute
(<=>
    (instance ?DV DamagedVehicle)
    (and
        (instance ?DV Vehicle)
        (attribute ?DV DeviceDamaged)))		 Mid-level-ontology.kif 28290-28294 客体 是 DamagedVehicle 的 instance 若且唯若 那个 客体 是 车辆 的 instance 和 DeviceDamaged 是 那个 客体 的 attribute
(<=>
    (instance ?H Hen)
    (and
        (instance ?H Chicken)
        (attribute ?H Female)))		 Mid-level-ontology.kif 18008-18012 客体 是 母鸡 的 instance 若且唯若 那个 客体 是 鸡 的 instance 和 女 是 那个 客体 的 attribute
(<=>
    (instance ?ICE Ice)
    (and
        (instance ?ICE Water)
        (attribute ?ICE Solid)))		 Mid-level-ontology.kif 8636-8640 客体 是 冰 的 instance 若且唯若 那个 客体 是 水 的 instance 和 固体 是 那个 客体 的 attribute
(<=>
    (instance ?L Lamb)
    (and
        (instance ?L Sheep)
        (attribute ?L NonFullyFormed)))		 Mid-level-ontology.kif 17961-17965 客体 是 羊肉 的 instance 若且唯若 那个 客体 是 羊 的 instance 和 没有完全形成 是 那个 客体 的 attribute
(<=>
    (instance ?OBJ Substance)
    (exists (?ATTR)
        (and
            (instance ?ATTR PhysicalState)
            (attribute ?OBJ ?ATTR))))		 Merge.kif 16402-16407 客体 是 物质 的 instance 若且唯若 有存在 属性 这样 那个 属性 是 物质状态 的 instance 和 那个 属性 是 那个 客体 的 attribute
(<=>
    (instance ?R Rooster)
    (and
        (instance ?R Chicken)
        (attribute ?R Male)))		 Mid-level-ontology.kif 18017-18021 客体 是 公鸡 的 instance 若且唯若 那个 客体 是 鸡 的 instance 和 男 是 那个 客体 的 attribute
(=>
    (accommodationProvider ?PKG ?HOTEL)
    (attribute ?HOTEL TravelerAccommodation))		 Hotel.kif 2710-2712
(=>
    (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 14436-14445
(=>
    (and
        (actedIn ?ACTOR ?O)
        (instance ?PERF DramaticActing)
        (patient ?PERF ?ACTOR)
        (result ?PERF ?O))
    (holdsDuring
        (WhenFn ?PERF)
        (attribute ?ACTOR Actor)))		 Mid-level-ontology.kif 18448-18455
(=>
    (and
        (agent ?PROCESS ?AGENT)
        (result ?PROCESS ?WORK)
        (instance ?WORK ArtWork))
    (holdsDuring
        (WhenFn ?PROCESS)
        (attribute ?AGENT Artist)))		 Mid-level-ontology.kif 16540-16546
(=>
    (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 16160-16173
(=>
    (and
        (attribute ?OBJ Monochromatic)
        (superficialPart ?PART ?OBJ)
        (attribute ?PART ?COLOR)
        (instance ?COLOR PrimaryColor))
    (forall (?ELEMENT)
        (=>
            (superficialPart ?ELEMENT ?OBJ)
            (attribute ?ELEMENT ?COLOR))))		 Merge.kif 16501-16510
(=>
    (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 1195-1202 对所有 ?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 879-887 ?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 867-876 地缘政治区域 的 available 军事服务男性 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 地缘政治区域 和 整数 year 每个女人生的 children 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 地缘政治区域 的 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 928-941 地缘政治区域 和 年 每年的 reaching 军事男性年龄 equal 符号串 所描述的类别 instance 的数量
(exists (?MEAL ?REGION)
    (attribute ?MEAL
        (MealAttributeFn ?MEAL ?REGION)))		 Food.kif 248-249 有存在 Meal 和 地区 这样 对于 那个 Meal 合适的 meal 在 那个 地区 是 那个 Meal 的 attribute
(increasesLikelihood
    (and
        (biochemicalAgentSyndrome ?AGENT ?SYMPTOM)
        (biochemicalAgentDelivery ?AGENT ?PROCESSTYPE)
        (instance ?PROCESS ?PROCESSTYPE)
        (experiencer ?PROCESS ?ORGANISM))
    (attribute ?ORGANISM ?SYMPTOM))		 WMD.kif 762-768 ?SYMPTOM 是 ?AGENT 的 biochemical 病毒征兆 和 ?PROCESSTYPE 是 ?AGENT 的 biochemical 病毒传递 和 ?PROCESS 是 ?PROCESSTYPE 的 instance 和 ?ORGANISM 经历了 ?PROCESS 增加 ?SYMPTOM 是 ?ORGANISM 的 attribute 发生的机率

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners