attribute - Sigma Knowledge base Browser

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

appearance as argument number 2

(disjointRelation manner attribute)	Merge.kif 1638-1638	形式和属于是 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 17140-17140	color 是属于的 subrelation
(subrelation creditRanking attribute)	FinancialOntology.kif 2423-2423	信用评级是属于的 subrelation
(subrelation developmentalForm attribute)	Merge.kif 13259-13259	发育形态是属于的 subrelation
(subrelation deviceState attribute)	Mid-level-ontology.kif 2337-2337	设备状态是属于的 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 16924-16931	客体是有感知的主事的 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 28338-28348	实体是身体部位的 instance 和 Bare 是那个实体的 attribute 在时间位置 holdsDuring 若且唯若不存在另一个实体这样那个另外实体是服装的 instance 和 covers 那个另外实体 and 那个实体在那个时间位置 holdsDuring
(<=> (attribute ?H LiteracyAttribute) (and (hasSkill Reading ?H) (hasSkill Writing ?H)))	Mid-level-ontology.kif 12702-12706	识字属性是施事体的 attribute 若且唯若那个施事体 hasSkill 去做朗读和那个施事体 hasSkill 去做写作
(<=> (attribute ?HOLE1 Fillable) (exists (?HOLE2) (and (instance ?HOLE2 Hole) (part ?HOLE1 ?HOLE2))))	Merge.kif 9341-9346	可填写是客体的 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 16924-16931	客体是有感知的主事的 instance 和活的是那个客体的 attribute 若且唯若有存在属性这样那个属性是意识状态的 instance 和那个属性是那个客体的 attribute
(<=> (and (instance ?PERSON Human) (forall (?ORG) (not (employs ?ORG ?PERSON)))) (attribute ?PERSON Unemployed))	Merge.kif 16020-16026	有认知的主事是人类的 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 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是符号串的 instance 和不存在另一个实体这样那个另外实体是那个符号串的 instance 和那个另外实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 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 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是符号串的 instance 和不存在另一个实体这样那个另外实体是那个符号串的 instance 和那个另外实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 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 12622-12628	有存在过程这样那个过程是放射光线的 instance 和客体是那个过程的 patient 和那个客体是地区的 instance 若且唯若发光的是那个客体的 attribute
(<=> (instance ?B Bull) (and (instance ?B Cow) (attribute ?B Male)))	Mid-level-ontology.kif 17952-17956	客体是公牛的 instance 若且唯若那个客体是牛的 instance 和男是那个客体的 attribute
(<=> (instance ?C Calf) (and (instance ?C Cow) (attribute ?C NonFullyFormed)))	Mid-level-ontology.kif 17944-17948	客体是小牛的 instance 若且唯若那个客体是牛的 instance 和没有完全形成是那个客体的 attribute
(<=> (instance ?COW FemaleCow) (and (instance ?COW Cow) (attribute ?COW Female)))	Mid-level-ontology.kif 17961-17965	客体是母牛的 instance 若且唯若那个客体是牛的 instance 和女是那个客体的 attribute
(<=> (instance ?DV DamagedVehicle) (and (instance ?DV Vehicle) (attribute ?DV DeviceDamaged)))	Mid-level-ontology.kif 28258-28262	客体是 DamagedVehicle 的 instance 若且唯若那个客体是车辆的 instance 和 DeviceDamaged 是那个客体的 attribute
(<=> (instance ?H Hen) (and (instance ?H Chicken) (attribute ?H Female)))	Mid-level-ontology.kif 17978-17982	客体是母鸡的 instance 若且唯若那个客体是鸡的 instance 和女是那个客体的 attribute
(<=> (instance ?ICE Ice) (and (instance ?ICE Water) (attribute ?ICE Solid)))	Mid-level-ontology.kif 8655-8659	客体是冰的 instance 若且唯若那个客体是水的 instance 和固体是那个客体的 attribute
(<=> (instance ?L Lamb) (and (instance ?L Sheep) (attribute ?L NonFullyFormed)))	Mid-level-ontology.kif 17931-17935	客体是羊肉的 instance 若且唯若那个客体是羊的 instance 和没有完全形成是那个客体的 attribute
(<=> (instance ?OBJ Substance) (exists (?ATTR) (and (instance ?ATTR PhysicalState) (attribute ?OBJ ?ATTR))))	Merge.kif 16338-16343	客体是物质的 instance 若且唯若有存在属性这样那个属性是物质状态的 instance 和那个属性是那个客体的 attribute
(<=> (instance ?R Rooster) (and (instance ?R Chicken) (attribute ?R Male)))	Mid-level-ontology.kif 17987-17991	客体是公鸡的 instance 若且唯若那个客体是鸡的 instance 和男是那个客体的 attribute
(=> (accommodationProvider ?PKG ?HOTEL) (attribute ?HOTEL TravelerAccommodation))	Hotel.kif 2710-2712	如果机构 provides HotelPackage ，然后旅客住宿是那个机构的 attribute
(=> (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 14409-14418	如果人类的 almaMater 是中学后，然后有存在过程这样那个过程是教育性过程的 instance 和那个过程在那个人类结束和那个过程是 located 在 2 和学生是那个人类的 attribute 在那个过程出现的 time holdsDuring
(=> (and (actedIn ?ACTOR ?O) (instance ?PERF DramaticActing) (patient ?PERF ?ACTOR) (result ?PERF ?O)) (holdsDuring (WhenFn ?PERF) (attribute ?ACTOR Actor)))	Mid-level-ontology.kif 18417-18424	如果 actedIn 人类 and 内容承载物理和过程是戏剧表演的 instance 和那个人类是那个过程的 patient 和那个内容承载物理是那个过程的 result，然后 Actor 是那个人类的 attribute 在那个过程出现的 time holdsDuring
(=> (and (agent ?PROCESS ?AGENT) (result ?PROCESS ?WORK) (instance ?WORK ArtWork)) (holdsDuring (WhenFn ?PROCESS) (attribute ?AGENT Artist)))	Mid-level-ontology.kif 16510-16516	如果施事体是过程的 agent 和实体是那个过程的 result 和那个实体是艺术品的 instance，然后 Artist 是那个施事体的 attribute 在那个过程出现的 time holdsDuring
(=> (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	如果穆斯林是施事体的 attribute 和属于那个施事体的资产值 equal 货币测量，然后有存在实体和另一个实体这样那个实体是天课的 instance 和第三实体是年的 instance 和那个第三实体在那个施事体出现的 time 时段内发生和完全成型是那个施事体的 attribute 在那个第三实体 holdsDuring 和那个施事体是那个实体的 agent 和那个另外实体是那个实体的 patient 和那个另外实体的价值是第四实体和那个第四实体是 greaterThan 那个货币测量和 0.025 的声明 has 义务的语气
(=> (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 10258-10268	如果属性是客体的 attribute 和那个属性是指纹的 instance 和那个客体不是手指的 instance，然后有存在那个属性R 和另一个客体这样那个另外客体是导致那个属性R 的 instrument 和那个另外客体是手指的 instance 和那个属性是那个另外客体的 attribute 和那个客体是那个属性R 的 patient
(=> (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 16096-16109	如果属性是客体的 attribute 和那个属性是主观评价属性的 instance，然后有存在时间位置，过程， and 和施事体这样那个过程是判断的 instance 和那个施事体是那个过程的 agent 和那个客体是那个过程的 patient 和那个属性是那个客体的 attribute 是那个过程的 patient 和那个施事体 believes 那个客体有那个属性的 attribute 在那个时间位置 holdsDuring
(=> (and (attribute ?OBJ Monochromatic) (superficialPart ?PART ?OBJ) (attribute ?PART ?COLOR) (instance ?COLOR PrimaryColor)) (forall (?ELEMENT) (=> (superficialPart ?ELEMENT ?OBJ) (attribute ?ELEMENT ?COLOR))))	Merge.kif 16437-16446	如果单色是客体的 attribute 和另一个客体是那个客体的 superficialPart 和属性是那个另外客体的 attribute 和那个属性是原色的 instance，然后对所有第三客体如果那个第三客体是那个客体的 superficialPart，然后那个属性是那个第三客体的 attribute
(=> (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	如果属性是施事体的 attribute 和那个属性是委任军官级别的 instance，然后有存在过程和客体这样那个过程是管理的 instance 和那个施事体是那个过程的 agent 和那个客体是那个过程的 patient 和那个客体是军事组织的 instance 或士兵是那个客体的 attribute

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 如果 ?ELECTION 是 ?AGENT 的 election 的 instance 和 ?VOTING 是 ?ELECTION 的 voting 的 instance 和 ?VOTER 是 ?VOTING 的 agent，然后男是 ?VOTER 的 attribute 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 发生的机率

appearance as argument number 0

(attribute DayOrder FinancialOrder)

FinancialOntology.kif 2856-2856

金融秩序是一天的订单的 attribute

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

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

KB Term:			Term intersection

English Word: