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 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	域 attribute, 1 and Object
(domain attribute 2 Attribute)	Merge.kif 1721-1721	域 attribute, 2 and Attribute
(instance attribute AsymmetricRelation)	Merge.kif 1715-1715	例 attribute and AsymmetricRelation
(instance attribute BinaryPredicate)	Merge.kif 1718-1718	例 attribute and BinaryPredicate
(instance attribute IrreflexiveRelation)	Merge.kif 1716-1716	例 attribute and IrreflexiveRelation
(instance attribute TotalValuedRelation)	Merge.kif 1717-1717	例 attribute and TotalValuedRelation
(subrelation attribute property)	Merge.kif 1719-1719	子關係 attribute and 屬性

appearance as argument number 2

(disjointRelation manner attribute)	Merge.kif 1734-1734	不相交的關係方式 and attribute
(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	子關係債券評級 and attribute
(subrelation color attribute)	Mid-level-ontology.kif 19385-19385	子關係 color and attribute
(subrelation creditRanking attribute)	FinancialOntology.kif 2501-2501	子關係信用評級 and attribute
(subrelation developmentalForm attribute)	Merge.kif 14367-14367	子關係發展形式 and attribute
(subrelation deviceState attribute)	Mid-level-ontology.kif 1873-1873	子關係設備狀態 and attribute
(subrelation economyType attribute)	Economy.kif 86-86	子關係經濟類型 and attribute
(subrelation governmentType attribute)	Government.kif 130-130	子關係政府類型 and attribute
(subrelation hasGUEState attribute)	ComputerInput.kif 1882-1882	子關係 hasGUEState and attribute
(subrelation hasMolecularStructuralAttribute attribute)	VirusProteinAndCellPart.kif 163-163	子關係具有分子結構屬性 and attribute
(subrelation hostStatus attribute)	QoSontology.kif 2109-2109	子關係主持人身份 and attribute

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 30202-30212	例 Entity and BodyPart 持有期間 TimePosition and attribute Entity and Bare 持有期間 TimePosition and entity 例 entity and Clothing covers entity and Entity
(<=> (attribute ?H LiteracyAttribute) (and (hasSkill Reading ?H) (hasSkill Writing ?H)))	Mid-level-ontology.kif 15027-15031	attribute AutonomousAgent and 識字屬性有技巧 Reading and AutonomousAgent 有技巧 Writing and AutonomousAgent
(<=> (attribute ?I (BeliefGroupMemberFn ?BG)) (member ?I ?BG))	People.kif 676-678	attribute Object and 信仰團體的 member 會員 Object and 信仰團體
(<=> (attribute ?INDIVIDUAL Agnostic) (member ?INDIVIDUAL Agnosticism))	People.kif 702-704	attribute Object and 不可知會員 Object and 不可知論
(<=> (attribute ?INDIVIDUAL AhmadiyyaMuslim) (member ?INDIVIDUAL AhmadiyyaSect))	People.kif 1347-1349	attribute Object and ahmadiyya穆斯林會員 Object and ahmadiyya教派
(<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL Anglicanism))	People.kif 1225-1227	attribute Object and 英國國教會員 Object and 英國國教
(<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL ChurchOfEngland))	People.kif 1233-1235	attribute Object and 英國國教會員 Object and 英格蘭教堂
(<=> (attribute ?INDIVIDUAL Atheist) (member ?INDIVIDUAL Atheism))	People.kif 720-722	attribute Object and 無神論者會員 Object and 無神論
(<=> (attribute ?INDIVIDUAL Bahai) (member ?INDIVIDUAL Bahaism))	People.kif 757-759	attribute Object and 巴哈會員 Object and 巴哈主義
(<=> (attribute ?INDIVIDUAL Buddhist) (member ?INDIVIDUAL Buddhism))	People.kif 769-771	attribute Object and 佛教徒會員 Object and 佛教
(<=> (attribute ?INDIVIDUAL Confucianist) (member ?INDIVIDUAL Confucianism))	People.kif 1306-1308	attribute Object and 儒會員 Object and 儒
(<=> (attribute ?INDIVIDUAL DruzeMuslim) (member ?INDIVIDUAL DruzeSect))	People.kif 1361-1363	attribute Object and 德魯茲穆斯林會員 Object and 德魯茲教派
(<=> (attribute ?INDIVIDUAL EasternOrthodoxChristian) (member ?INDIVIDUAL EasternOrthodoxChristianity))	People.kif 1247-1249	attribute Object and 東正教基督教會員 Object and 東正教基督教
(<=> (attribute ?INDIVIDUAL Hindu) (member ?INDIVIDUAL Hinduism))	People.kif 1318-1320	attribute Object and 印度教會員 Object and 印度教
(<=> (attribute ?INDIVIDUAL Jain) (member ?INDIVIDUAL Jainism))	People.kif 1411-1413	attribute Object and 耆那教會員 Object and 耆那教
(<=> (attribute ?INDIVIDUAL Muslim) (member ?INDIVIDUAL Islam))	People.kif 1330-1332	attribute Object and 穆斯林會員 Object and 伊斯蘭教
(<=> (attribute ?INDIVIDUAL Neopaganismist) (member ?INDIVIDUAL Neopaganism))	People.kif 1457-1459	attribute Object and neopaganismist 會員 Object and neopaganism
(<=> (attribute ?INDIVIDUAL Protestant) (member ?INDIVIDUAL Protestantism))	People.kif 1261-1263	attribute Object and 新教會員 Object and 新教
(<=> (attribute ?INDIVIDUAL ReligiousJew) (member ?INDIVIDUAL Judaism))	People.kif 1428-1430	attribute Object and 宗教的猶太人會員 Object and 猶太教
(<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicChurch))	People.kif 1283-1285	attribute Object and 羅馬天主教徒會員 Object and 羅馬天主教會
(<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicism))	People.kif 1275-1277	attribute Object and 羅馬天主教徒會員 Object and 羅馬天主教
(<=> (attribute ?INDIVIDUAL ShiaMuslim) (member ?INDIVIDUAL ShiiteSect))	People.kif 1377-1379	attribute Object and 什葉派穆斯林會員 Object and 什葉派
(<=> (attribute ?INDIVIDUAL Shintoist) (member ?INDIVIDUAL Shinto))	People.kif 1472-1474	attribute Object and 神道教會員 Object and 神道
(<=> (attribute ?INDIVIDUAL Sikh) (member ?INDIVIDUAL Sikhism))	People.kif 1487-1489	attribute Object and 錫克教會員 Object and 錫克教
(<=> (attribute ?INDIVIDUAL SunniMuslim) (member ?INDIVIDUAL SunniSect))	People.kif 1396-1398	attribute Object and 遜尼派穆斯林會員 Object and 遜尼派

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 357-390	例年 and 年年EAR 等於 GeopoliticalArea 和年的 male 出生估計壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human attribute entity and 男期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 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 403-436	例年 and 年 Integer 等於 GeopoliticalArea 和年的 female 出生預期壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human attribute entity and 女期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
(<=> (attribute ?Q Queen) (or (attribute ?Q QueenRegnant) (attribute ?Q QueenConsort)))	Government.kif 1364-1368	attribute Object and 女王 attribute Object and QueenRegnant attribute Object and QueenConsort
(<=> (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 206-223	等於 GeopoliticalArea 的 male 對母性比率 and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男棲息 SymbolicString and GeopoliticalArea 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 女棲息 SymbolicString and GeopoliticalArea 等於部 Integer and Integer and RealNumber
(<=> (hearingAcuity ?H (MeasureFn -10 Decibel) (MeasureFn 15 Decibel)) (attribute ?H NormalHearingSensitivity))	Medicine.kif 1783-1787	hearingAcuity Human, 測量 -10 and Decibel and 測量 15 and Decibel attribute Human and NormalHearingSensitivity
(<=> (hearingAcuity ?H (MeasureFn 16 Decibel) (MeasureFn 25 Decibel)) (attribute ?H BorderlineHearingSensitivity))	Medicine.kif 1794-1798	hearingAcuity Human, 測量 16 and Decibel and 測量 25 and Decibel attribute Human and BorderlineHearingSensitivity
(<=> (hearingAcuity ?H (MeasureFn 26 Decibel) (MeasureFn 40 Decibel)) (attribute ?H MildHearingLoss))	Medicine.kif 1805-1809	hearingAcuity Human, 測量 26 and Decibel and 測量 40 and Decibel attribute Human and MildHearingLoss
(<=> (hearingAcuity ?H (MeasureFn 41 Decibel) (MeasureFn 55 Decibel)) (attribute ?H ModerateHearingLoss))	Medicine.kif 1815-1819	hearingAcuity Human, 測量 41 and Decibel and 測量 55 and Decibel attribute Human and ModerateHearingLoss
(<=> (hearingAcuity ?H (MeasureFn 56 Decibel) (MeasureFn 70 Decibel)) (attribute ?H ModeratelySevereHearingLoss))	Medicine.kif 1826-1830	hearingAcuity Human, 測量 56 and Decibel and 測量 70 and Decibel attribute Human and ModeratelySevereHearingLoss
(<=> (hearingAcuity ?H (MeasureFn 71 Decibel) (MeasureFn 90 Decibel)) (attribute ?H SevereHearingLoss))	Medicine.kif 1837-1841	hearingAcuity Human, 測量 71 and Decibel and 測量 90 and Decibel attribute Human and SevereHearingLoss
(<=> (hearingAcuity ?H (MeasureFn 91 Decibel) (MeasureFn 200 Decibel)) (attribute ?H ProfoundHearingLoss))	Medicine.kif 1848-1852	hearingAcuity Human, 測量 91 and Decibel and 測量 200 and Decibel attribute Human and ProfoundHearingLoss
(<=> (holdsDuring ?T (and (instance ?PERSON Human) (forall (?ORG) (not (employs ?ORG ?PERSON))))) (holdsDuring ?T (attribute ?PERSON Unemployed)))	Merge.kif 17325-17333	持有期間 TimePosition and 例 entity and Human entity 採用 entity and entity 持有期間 TimePosition and attribute entity and 失業的
(<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Female)))	Mid-level-ontology.kif 20227-20231	例 Object and 公牛例 Object and 牛 attribute Object and 女
(<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Male)))	Mid-level-ontology.kif 20245-20249	例 Object and 公牛例 Object and 牛 attribute Object and 男
(<=> (instance ?C Calf) (and (instance ?C Cattle) (attribute ?C NonFullyFormed)))	Mid-level-ontology.kif 20236-20240	例 Object and 小牛例 Object and 牛 attribute Object and 沒有完全形成
(<=> (instance ?DV DamagedVehicle) (and (instance ?DV Vehicle) (attribute ?DV DeviceDamaged)))	Mid-level-ontology.kif 30118-30122	例 Object and DamagedVehicle 例 Object and 車輛 attribute Object and DeviceDamaged
(<=> (instance ?H Hen) (and (instance ?H Chicken) (attribute ?H Female)))	Mid-level-ontology.kif 20259-20263	例 Object and 母雞例 Object and 雞 attribute Object and 女
(<=> (instance ?ICE Ice) (and (instance ?ICE Water) (attribute ?ICE Solid)))	Mid-level-ontology.kif 9006-9010	例 Object and 冰例 Object and Water attribute Object and 固體
(<=> (instance ?L Lamb) (and (instance ?L Sheep) (attribute ?L NonFullyFormed)))	Mid-level-ontology.kif 20213-20217	例 Object and 羔羊例 Object and 羊 attribute Object and 沒有完全形成
(<=> (instance ?R Rooster) (and (instance ?R Chicken) (attribute ?R Male)))	Mid-level-ontology.kif 20268-20272	例 Object and 公雞例 Object and 雞 attribute Object and 男
(=> (accommodationProvider ?PKG ?HOTEL) (attribute ?HOTEL TravelerAccommodation))	Hotel.kif 2768-2770	Organization provides HotelPackage attribute Organization and 旅客住宿
(=> (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 16879-16888	Human 的 almaMater 是中學後 Process 例 Process and EducationalProcess 目的地 Process and Human Process 是 located 在中學後持有期間何時 Process and attribute Human and 學生
(=> (and (actedIn ?ACTOR ?O) (instance ?PERF DramaticActing) (patient ?PERF ?ACTOR) (result ?PERF ?O)) (holdsDuring (WhenFn ?PERF) (attribute ?ACTOR Actor)))	Mid-level-ontology.kif 20787-20794	actedIn Human and 內容承載物理例 Process and 戲劇表演患者 Process and Human 結果 Process and 內容承載物理持有期間何時 Process and attribute Human and Actor
(=> (and (agent ?PROCESS ?AGENT) (result ?PROCESS ?WORK) (instance ?WORK ArtWork)) (holdsDuring (WhenFn ?PROCESS) (attribute ?AGENT Artist)))	Mid-level-ontology.kif 18864-18870	agent Process and AutonomousAgent 結果 Process and Entity 例 Entity and ArtWork 持有期間何時 Process and attribute AutonomousAgent and Artist
(=> (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	attribute AutonomousAgent and 穆斯林等於財富 AutonomousAgent and CurrencyMeasure 模態屬性 entity entity, entity, entity and entity 例 entity and 天課例 entity and 年期間 entity and 何時 AutonomousAgent 持有期間 entity and attribute AutonomousAgent and 完全成型 agent entity and AutonomousAgent 患者 entity and entity 貨幣價值 entity and 測量 entity and entity 例 entity and UnitOfCurrency 比較多 entity and 乘法 CurrencyMeasure and 0.025 and 義務

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 456-469	例年 and 年 Integer 等於 GeopoliticalArea 和年每個女人生的 children and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and SymbolicString agent entity and entity 例 entity and Human attribute entity and 女持有期間年 and 棲息 entity and GeopoliticalArea
(containsInformation (forall (?AGENT ?VOTER ?ELECTION ?VOTING) (=> (and (instance ?ELECTION (ElectionFn ?AGENT)) (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER)) (attribute ?VOTER Male))) ExclusiveMaleSuffrage)	Government.kif 1205-1212	包含信息 ?AGENT ?VOTER, ?ELECTION and ?VOTING 例 ?ELECTION and ?AGENT 的 election 例 ?VOTING and ?ELECTION 的 voting agent ?VOTING and ?VOTER attribute ?VOTER and 男 and 獨家男性選舉權
(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 and ?SUBSTANCE 例 ?THERAPY and ?PROCESS 體驗者 ?THERAPY and ?ORGANISM 患者 ?THERAPY and ?SAMPLE and attribute ?ORGANISM and ?SYMPTOM
(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 863-872	等於 GeopoliticalArea 的 available 軍事服務男性 and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 entity 是 GeopoliticalArea 的 military 年紀年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
(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 886-897	等於 GeopoliticalArea 的 fit 對於軍服務男性 and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男子類 entity and MilitaryProcess entity 是 SymbolicString 的 fit 軍事服務 entity 是 GeopoliticalArea 的 military 年紀年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
(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 924-937	等於 GeopoliticalArea 和年每年的 reaching 軍事男性年齡 and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 entity 是 GeopoliticalArea 的 military 年紀等於 entity and 減法 entity and 1 持有期間年 and 年齡 SymbolicString and entity 年齡 SymbolicString and entity 等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
(exists (?H) (and (attribute ?H NewReporter) (employs ProPublica ?H)))	Medicine.kif 4590-4593	CognitiveAgent attribute CognitiveAgent and NewReporter 採用 ProPublica and CognitiveAgent
(exists (?MEAL ?REGION) (attribute ?MEAL (MealAttributeFn ?MEAL ?REGION)))	Food.kif 1902-1903	Meal Region attribute Meal and 對於 Meal 合適的 meal 在 Region
(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 and ?PROCESSTYPE 體驗者 ?PROCESS and ?ORGANISM and attribute ?ORGANISM and ?SYMPTOM

appearance as argument number 0

(attribute Hay Fodder)	Mid-level-ontology.kif 20428-20428	attribute 乾草 and 飼料
(attribute SouthernOcean PolarClimateZone)	Geography.kif 4681-4681	attribute 南部海洋 and 極地氣候區
(attribute Tourniquet RelationalAttribute)	Medicine.kif 15-15	attribute Tourniquet and RelationalAttribute

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: