Human - Sigma Knowledge base Browser

consequent

(<=> (equal (BirthsPerThousandFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS) (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 104-117	equal BirthsPerThousandFn 地政学的地域 and YearFn 整数 and 実数 equal DivisionFn PopulationFn 地政学的地域 and 1000 and 量 equal 整数 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 出生 experiencer 記号文字列 and エンティティー instance エンティティー and 人［人間］ during WhenFn 記号文字列 and YearFn 整数 equal WhereFn 記号文字列 and WhenFn 記号文字列 and 地政学的地域 equal DivisionFn 整数 and 量 and 実数
(<=> (equal (DeathsPerThousandFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS) (equal ?DEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?PERSON) (instance ?PERSON Human) (during (WhenFn ?DEATH) (YearFn ?YEAR)) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 138-151	equal DeathsPerThousandFn 地政学的地域 and YearFn 整数 and 実数 equal DivisionFn PopulationFn 地政学的地域 and 1000 and 量 equal 整数 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 死 experiencer 記号文字列 and エンティティー instance エンティティー and 人［人間］ during WhenFn 記号文字列 and YearFn 整数 equal WhereFn 記号文字列 and WhenFn 記号文字列 and 地政学的地域 equal DivisionFn 整数 and 量 and 実数
(<=> (equal (DeathsPerThousandLiveBirthsFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS) (equal ?INFANTDEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?INFANT) (instance ?INFANT Human) (age ?INFANT (MeasureFn ?AGE YearDuration)) (lessThan ?AGE 1) (during (WhenFn ?DEATH) (YearFn ?YEAR)) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))	People.kif 253-277	equal DeathsPerThousandLiveBirthsFn 地政学的地域 and YearFn 整数 and 実数 equal 整数 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 出生 experiencer 記号文字列 and エンティティー instance エンティティー and 人［人間］ during WhenFn 記号文字列 and YearFn 整数 equal WhereFn 記号文字列 and WhenFn 記号文字列 and 地政学的地域 equal DivisionFn 整数 and 1000 and 量 equal エンティティーDEATHCOUNT and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 死 experiencer 記号文字列 and エンティティー instance エンティティー and 人［人間］ age エンティティー and MeasureFn エンティティー and YearDuration lessThan エンティティー and 1 during WhenFn 記号文字列 and YearFn 整数 equal WhereFn 記号文字列 and WhenFn 記号文字列 and 地政学的地域 equal DivisionFn エンティティーDEATHCOUNT and 量 and 実数
(<=> (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	equal FemaleLifeExpectancyAtBirthFn 地政学的地域 and YearFn 整数 and 実数リスト instance リスト and リスト instance ListLengthFn リスト and 整数リストITEM inList リストITEM and リスト instance リストITEM and 記号文字列エンティティー instance エンティティー and 記号文字列 inList エンティティー and リスト equal 整数 and CardinalityFn KappaFn 記号文字列 and instance エンティティー and 出生 experiencer エンティティー and エンティティー instance エンティティー and 人［人間］ attribute エンティティー and Female during WhenFn エンティティー and YearFn 整数 equal WhereFn エンティティー and WhenFn エンティティー and 地政学的地域 instance エンティティー and 死 experiencer エンティティー and エンティティー holdsDuring WhenFn エンティティー and age エンティティー and MeasureFn 記号文字列 and YearDuration average リスト and 実数
(<=> (equal (LifeExpectancyAtBirthFn ?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) (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 323-353	equal LifeExpectancyAtBirthFn 地政学的地域 and YearFn 整数 and 実数リスト instance リスト and リスト instance ListLengthFn リスト and 整数リストITEM inList リストITEM and リスト instance リストITEM and 記号文字列エンティティー instance エンティティー and 記号文字列 inList エンティティー and リスト equal 整数 and CardinalityFn KappaFn 記号文字列 and instance エンティティー and 出生 experiencer エンティティー and エンティティー instance エンティティー and 人［人間］ during WhenFn エンティティー and YearFn 整数 equal WhereFn エンティティー and WhenFn エンティティー and 地政学的地域 instance エンティティー and 死 experiencer エンティティー and エンティティー holdsDuring WhenFn エンティティー and age エンティティー and MeasureFn 記号文字列 and YearDuration 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	equal MaleLifeExpectancyAtBirthFn 地政学的地域 and YearFn 整数 and 実数リスト instance リスト and リスト instance ListLengthFn リスト and 整数リストITEM inList リストITEM and リスト instance リストITEM and 記号文字列エンティティー instance エンティティー and 記号文字列 inList エンティティー and リスト equal 整数 and CardinalityFn KappaFn 記号文字列 and instance エンティティー and 出生 experiencer エンティティー and エンティティー instance エンティティー and 人［人間］ attribute エンティティー and Male during WhenFn エンティティー and YearFn 整数 equal WhereFn エンティティー and WhenFn エンティティー and 地政学的地域 instance エンティティー and 死 experiencer エンティティー and エンティティー holdsDuring WhenFn エンティティー and age エンティティー and MeasureFn 記号文字列 and YearDuration 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	equal MaleToFemaleRatioFn 地政学的地域 and 実数 equal 整数 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 人［人間］ attribute 記号文字列 and Male inhabits 記号文字列 and 地政学的地域 equal 整数 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 人［人間］ attribute 記号文字列 and Female inhabits 記号文字列 and 地政学的地域 equal DivisionFn 整数 and 整数 and 実数
(<=> (equal (MigrantsPerThousandFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal (SubtractionFn ?YEAR ?PREVIOUSYEAR) 1) (holdsDuring (YearFn ?YEAR) (equal (PopulationFn ?AREA) ?POPULATION)) (equal (DivisionFn ?POPULATION 1000) ?THOUSANDS) (equal ?IMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring (YearFn ?PREVIOUSYEAR) (not (inhabits ?PERSON ?AREA))) (holdsDuring (YearFn ?YEAR) (inhabits ?PERSON ?AREA)))))) (equal ?EMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring (YearFn ?PREVIOUSYEAR) (inhabits ?PERSON ?AREA)) (holdsDuring (YearFn ?YEAR) (not (inhabits ?PERSON ?AREA))))))) (equal (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT) (equal (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 174-202	equal MigrantsPerThousandFn 地政学的地域 and YearFn 整数 and 実数 equal SubtractionFn 整数 and 量 and 1 holdsDuring YearFn 整数 and equal PopulationFn 地政学的地域 and 量 equal DivisionFn 量 and 1000 and 量 equal 整数 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 人［人間］ holdsDuring YearFn 量 and inhabits 記号文字列 and 地政学的地域 holdsDuring YearFn 整数 and inhabits 記号文字列 and 地政学的地域 equal 整数 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 人［人間］ holdsDuring YearFn 量 and inhabits 記号文字列 and 地政学的地域 holdsDuring YearFn 整数 and inhabits 記号文字列 and 地政学的地域 equal SubtractionFn 整数 and 整数 and 量 equal DivisionFn 量 and 量 and 実数
(=> (and (attribute ?C Collectible) (hasPurpose ?C ?P)) (exists (?H) (and (instance ?H Human) (wants ?H ?C) (desires ?H ?P2) (entails ?P2 (possesses ?H ?C)) (not (equal ?P ?P2)))))	Mid-level-ontology.kif 27677-27689	attribute オブジェクト and Collectible hasPurpose オブジェクト and 公式認識エージェント instance 認識エージェント and 人［人間］ wants 認識エージェント and オブジェクト desires 認識エージェント and 公式 entails 公式 and possesses 認識エージェント and オブジェクト equal 公式 and 公式
(=> (and (attribute ?I Inhabited) (instance ?I Region)) (exists (?H) (and (instance ?H Human) (inhabits ?H ?I))))	Mid-level-ontology.kif 28278-28285	attribute オブジェクト and Inhabited instance オブジェクト and 地域物 instance 物 and 人［人間］ inhabits 物 and オブジェクト
(=> (and (attribute ?PERSON ?ATTRIBUTE) (instance ?ATTRIBUTE SocialRole)) (instance ?PERSON Human))	Merge.kif 17592-17596	attribute オブジェクト and エンティティー instance エンティティー and 社会的役割 instance オブジェクト and 人［人間］
(=> (and (attribute ?U Uninhabited) (instance ?U Region)) (not (exists (?H) (and (instance ?H Human) (inhabits ?H ?U)))))	Mid-level-ontology.kif 28262-28270	attribute オブジェクト and Uninhabited instance オブジェクト and 地域物 instance 物 and 人［人間］ inhabits 物 and オブジェクト
(=> (and (attribute ?X Waiter) (instance ?X Human) (employs ?REST ?X) (instance ?REST Restaurant) (customer ?CUST ?REST) (located ?CUST ?TABLE) (instance ?TABLE Table)) (and (possesses ?REST ?KITCHEN) (instance ?KITCHEN KitchenArea) (instance ?DINING DiningArea) (located ?TABLE ?DINING) (hasPurpose ?X (and (instance ?C Carrying) (agent ?C ?X) (origin ?C ?KITCHEN) (destination ?C ?TABLE) (patient ?C ?FOOD) (instance ?FOOD (FoodForFn Human))))))	Mid-level-ontology.kif 18259-18280	attribute 認識エージェント and Waiter instance 認識エージェント and 人［人間］ employs 認識エージェント and 認識エージェント instance 認識エージェント and Restaurant customer 認識エージェント and 認識エージェント located 認識エージェント and オブジェクト instance オブジェクト and Table possesses 認識エージェント and オブジェクト instance オブジェクト and KitchenArea instance オブジェクト and DiningArea located オブジェクト and オブジェクト hasPurpose 認識エージェント and instance エンティティー and Carrying agent エンティティー and 認識エージェント origin エンティティー and オブジェクト destination エンティティー and オブジェクト patient エンティティー and エンティティー instance エンティティー and FoodForFn 人［人間］
(=> (and (businessUnit ?ORG ?BUSINESS) (member ?MEMBER ?ORG)) (instance ?MEMBER Human))	UXExperimentalTerms.kif 2786-2790	businessUnit 組織 and Business member オブジェクト and 組織 instance オブジェクト and 人［人間］
(=> (and (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2) (subAttribute ?ROLE DiplomaticAgent)) (exists (?PERSON) (and (instance ?PERSON Human) (citizen ?PERSON ?COUNTRY1) (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2))))	Government.kif 4519-4527	diplomaticRepresentationType 国民, ポジション and 代理(人) subAttribute ポジション and DiplomaticAgent 人［人間］ instance 人［人間］ and 人［人間］ citizen 人［人間］ and 国民 diplomaticRepresentativeInRole 国民, 人［人間］, ポジション and 代理(人)
(=> (and (instance ?B Baptizing) (patient ?B ?H)) (instance ?H Human))	Mid-level-ontology.kif 7692-7696	instance 工程 and Baptizing patient 工程 and エンティティー instance エンティティー and 人［人間］
(=> (and (instance ?D Demonstration) (agent ?D ?A)) (or (instance ?A Human) (instance ?A GroupOfPeople)))	MilitaryProcesses.kif 2630-2636	instance 工程 and Demonstration agent 工程 and 代理(人) instance 代理(人) and 人［人間］ instance 代理(人) and GroupOfPeople
(=> (and (instance ?EV Evacuation) (experiencer ?EV ?H)) (instance ?H Human))	MilitaryProcesses.kif 2501-2505	instance 工程 and Evacuation experiencer 工程 and 代理(人) instance 代理(人) and 人［人間］
(=> (and (instance ?GROUP GroupOfPeople) (member ?MEMBER ?GROUP)) (instance ?MEMBER Human))	Merge.kif 16446-16450	instance コレクション and GroupOfPeople member オブジェクト and コレクション instance オブジェクト and 人［人間］
(=> (and (instance ?I Immigrating) (agent ?I ?A)) (instance ?A Human))	Mid-level-ontology.kif 14930-14934	instance 工程 and Immigrating agent 工程 and 代理(人) instance 代理(人) and 人［人間］
(=> (and (instance ?INTERVAL TimeInterval) (instance ?SITE WebSite)) (exists (?NEWREGISTRATIONS) (and (instance ?NEWREGISTRATIONS Collection) (forall (?USER) (=> (and (instance ?USER Human) (not (exists (?INTERVAL_BEFORE) (and (instance ?INTERVAL_BEFORE TimeInterval) (earlier ?INTERVAL_BEFORE ?INTERVAL) (holdsDuring ?INTERVAL_BEFORE (registeredUser ?USER ?SITE))))) (exists (?INTERVAL_DURING) (and (instance ?INSTERVAL_DURING TimeInterval) (during ?INTERVAL_DURING ?INTERVAL) (holdsDuring ?INTERVAL (registeredUser ?USER ?SITE))))) (member ?USER ?NEWREGISTRATIONS))) (equal ?NEWREGISTRATIONS (SiteWideNewRegistrationsFn ?INTERVAL ?SITE)))))	UXExperimentalTerms.kif 3623-3650	instance 時間間隔 and 時間間隔 instance WebSite and WebSite コレクション instance コレクション and コレクションオブジェクト instance オブジェクト and 人［人間］時間間隔_BEFORE instance 時間間隔_BEFORE and 時間間隔 earlier 時間間隔_BEFORE and 時間間隔 holdsDuring 時間間隔_BEFORE and registeredUser オブジェクト and WebSite 時間間隔_DURING instance エンティティー_DURING and 時間間隔 during 時間間隔_DURING and 時間間隔 holdsDuring 時間間隔 and registeredUser オブジェクト and WebSite member オブジェクト and コレクション equal コレクション and SiteWideNewRegistrationsFn 時間間隔 and WebSite
(=> (and (instance ?ITEM Object) (instance ?LISTING WebListing) (instance ?OWNER Agent) (attribute ?LISTING ForSaleByOwner) (possesses ?OWNER ?ITEM)) (instance ?OWNER Human))	UXExperimentalTerms.kif 471-478	instance オブジェクト and オブジェクト instance オブジェクト and WebListing instance 代理(人) and 代理(人) attribute オブジェクト and ForSaleByOwner possesses 代理(人) and オブジェクト instance 代理(人) and 人［人間］
(=> (and (instance ?LANG AnimalLanguage) (agent ?PROC ?AGENT) (instrument ?PROC ?LANG)) (and (instance ?AGENT Animal) (not (instance ?AGENT Human))))	Merge.kif 1453-1460	instance オブジェクト and 動物言語 agent 工程 and 代理(人) instrument 工程 and オブジェクト instance 代理(人) and 動物 instance 代理(人) and 人［人間］
(=> (and (instance ?LANG HumanLanguage) (agent ?PROC ?AGENT) (instrument ?PROC ?LANG)) (instance ?AGENT Human))	Merge.kif 1488-1493	instance オブジェクト and 人間の言語 agent 工程 and 代理(人) instrument 工程 and オブジェクト instance 代理(人) and 人［人間］
(=> (and (instance ?ORG Organization) (attribute ?ORG AgricultureForestryFishingAndHunting)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?EV ?MEM) (exists (?THING ?EV2 ?MEM2) (and (or (instance ?EV Killing) (instance ?EV Maintaining)) (patient ?EV ?THING) (or (instance ?THING Animal) (instance ?THING Plant)) (not (instance ?THING Human)) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 50-72	instance コレクション and 組織 attribute コレクション and AgricultureForestryFishingAndHunting 工程代理(人) member 代理(人) and コレクション agent 工程 and 代理(人) エンティティー工程 and 代理(人) instance 工程 and 殺害 instance 工程 and 維持 patient 工程 and エンティティー instance エンティティー and 動物 instance エンティティー and 植物 instance エンティティー and 人［人間］ member 代理(人) and コレクション instance 工程 and 販売 agent 工程 and 代理(人) patient 工程 and エンティティー

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(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	equal AvailableForMilitaryServiceMaleFn 地政学的地域 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 人［人間］ attribute 記号文字列 and Male militaryAge 地政学的地域 and エンティティー age 記号文字列 and エンティティー greaterThanOrEqualTo エンティティー and エンティティー inhabits 記号文字列 and 地政学的地域
(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	equal ChildrenBornPerWomanFn 地政学的地域 and YearFn 整数 and CardinalityFn KappaFn 記号文字列 and instance エンティティー and 出生 experiencer エンティティー and 記号文字列 agent エンティティー and エンティティー instance エンティティー and 人［人間］ attribute エンティティー and Female holdsDuring YearFn 整数 and inhabits エンティティー and 地政学的地域
(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	equal FitForMilitaryServiceMaleFn 地政学的地域 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 人［人間］ attribute 記号文字列 and Male instance エンティティー and 軍事プロセス fitForMilitaryService 記号文字列 and エンティティー militaryAge 地政学的地域 and エンティティー age 記号文字列 and エンティティー greaterThanOrEqualTo エンティティー and エンティティー inhabits 記号文字列 and 地政学的地域
(equal (PopulationFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (inhabits ?PERSON ?AREA)))))	People.kif 49-54	equal PopulationFn 地政学的地域 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 人［人間］ inhabits 記号文字列 and 地政学的地域
(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	equal ReachingMilitaryAgeAnnuallyMaleFn 地政学的地域 and 年 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 人［人間］ attribute 記号文字列 and Male militaryAge 地政学的地域 and エンティティー equal エンティティー and SubtractionFn エンティティー and 1 holdsDuring 年 and age 記号文字列 and エンティティー age 記号文字列 and エンティティー equal エンティティー and エンティティー inhabits 記号文字列 and 地政学的地域
(equal Food (FoodForFn Human))	Merge.kif 15012-15012	equal Food and FoodForFn 人［人間］

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

(documentation Human ChineseLanguage "这是现代人，人属唯一剩下的品种。")	Merge.kif 14743-14743
(documentation Human EnglishLanguage "Modern man, the only remaining species of the Homo genus.")	Merge.kif 14741-14742
(externalImage Human "http://upload.wikimedia.org/wikipedia/commons/0/03/ Skydiving_4_way.jpg")	pictureList-ImageNet.kif 260-260	externalImage 人［人間］ and "http://upload.wikimedia.org/wikipedia/commons/0/03/ Skydiving_4_way.jpg"
(externalImage Human "http://upload.wikimedia.org/wikipedia/commons/2/22/ Da_Vinci_Vitruve_Luc_Viatour.jpg")	pictureList.kif 3118-3118	externalImage 人［人間］ and "http://upload.wikimedia.org/wikipedia/commons/2/22/ Da_Vinci_Vitruve_Luc_Viatour.jpg"
(externalImage Human "http://upload.wikimedia.org/wikipedia/commons/4/42/ Skeleton_diagram.svg")	pictureList.kif 3117-3117	externalImage 人［人間］ and "http://upload.wikimedia.org/wikipedia/commons/4/42/ Skeleton_diagram.svg"
(externalImage Human "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ bd/ Jan_Vermeer_van_Delft_009.jpg/ 280px-Jan_Vermeer_van_Delft_009.jpg")	pictureList-ImageNet.kif 258-258	externalImage 人［人間］ and "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ bd/ Jan_Vermeer_van_Delft_009.jpg/ 280px-Jan_Vermeer_van_Delft_009.jpg"
(externalImage Human "http://upload.wikimedia.org/wikipedia/pl/thumb/6/69/ Gazolina_zloga.jpg/ 250px-Gazolina_zloga.jpg")	pictureList-ImageNet.kif 259-259	externalImage 人［人間］ and "http://upload.wikimedia.org/wikipedia/pl/thumb/6/69/ Gazolina_zloga.jpg/ 250px-Gazolina_zloga.jpg"
(partition Human Man Woman)	Merge.kif 14740-14740	partition 人［人間］, Man and Woman
(subclass Human CognitiveAgent)	Merge.kif 14739-14739	subclass 人［人間］ and 認識エージェント
(subclass Human Hominid)	Merge.kif 14738-14738	subclass 人［人間］ and ヒト科の動物

(biologicalAgentCarrier BordetellaPertussis Human)	WMD.kif 1434-1434	biologicalAgentCarrier BordetellaPertussis and 人［人間］
(disjoint DomesticAnimal Human)	Mid-level-ontology.kif 17774-17774	disjoint DomesticAnimal and 人［人間］
(disjoint Organization Human)	Media.kif 35-35	disjoint 組織 and 人［人間］
(initialPart VocalCords Human)	Mid-level-ontology.kif 1184-1184	initialPart VocalCords and 人［人間］
(instance SteveJobsOfApple Human)	ComputingBrands.kif 2261-2261	instance スティーブ・ジョブズ氏 and 人［人間］
(instance SteveWozniakOfApple Human)	ComputingBrands.kif 2269-2269	instance スティーブ・ウｵズニアック氏 and 人［人間］
(instance TimCookOfApple Human)	ComputingBrands.kif 2253-2253	instance ティム・クック氏 and 人［人間］
(subclass HumanAdult Human)	Mid-level-ontology.kif 317-317	subclass HumanAdult and 人［人間］
(subclass HumanYouth Human)	Mid-level-ontology.kif 391-391	subclass HumanYouth and 人［人間］
(subclass Man Human)	Merge.kif 14745-14745	subclass Man and 人［人間］
(subclass Teenager Human)	Mid-level-ontology.kif 471-471	subclass Teenager and 人［人間］
(subclass Woman Human)	Merge.kif 14753-14753	subclass Woman and 人［人間］
(termFormat ChineseLanguage Human "人类")	chinese_format.kif 1002-1002	termFormat ChineseLanguage, 人［人間］ and "人类"
(termFormat EnglishLanguage Human "human")	english_format.kif 1077-1077	termFormat EnglishLanguage, 人［人間］ and "human"
(termFormat JapaneseLanguage Human "人［人間］")	english_format.kif 1078-1078	termFormat JapaneseLanguage, 人［人間］ and "人［人間］"
(typicalPart VocalCords Human)	Mid-level-ontology.kif 1182-1182	typicalPart VocalCords and 人［人間］
(typicallyContainsPart VocalCords Human)	Mid-level-ontology.kif 1183-1183	typicallyContainsPart VocalCords and 人［人間］

(domain DescendantsFn 1 Human)	Mid-level-ontology.kif 7170-7170	domain DescendantsFn, 1 and 人［人間］
(domain ImmediateFamilyFn 1 Human)	Merge.kif 16498-16498	domain ImmediateFamilyFn, 1 and 人［人間］
(domain QPViewsFn 1 Human)	UXExperimentalTerms.kif 4364-4364	domain QPViewsFn, 1 and 人［人間］
(domain QualifiedTreatmentsFn 1 Human)	UXExperimentalTerms.kif 4429-4429	domain QualifiedTreatmentsFn, 1 and 人［人間］
(domain acquaintance 1 Human)	Merge.kif 16785-16785	domain acquaintance, 1 and 人［人間］
(domain acquaintance 2 Human)	Merge.kif 16786-16786	domain acquaintance, 2 and 人［人間］
(domain actedIn 1 Human)	Mid-level-ontology.kif 18402-18402	domain actedIn, 1 and 人［人間］
(domain afterTaxIncome 1 Human)	FinancialOntology.kif 3216-3216	domain afterTaxIncome, 1 and 人［人間］
(domain almaMater 1 Human)	Mid-level-ontology.kif 14404-14404	domain almaMater, 1 and 人［人間］
(domain attends 2 Human)	Merge.kif 13031-13031	domain attends, 2 and 人［人間］
(domain attorney 2 Human)	Law.kif 486-486	domain attorney, 2 and 人［人間］
(domain aunt 2 Human)	Mid-level-ontology.kif 20935-20935	domain aunt, 2 and 人［人間］
(domain baptismdate 1 Human)	Biography.kif 64-64	domain baptismdate, 1 and 人［人間］
(domain baptismplace 1 Human)	Biography.kif 77-77	domain baptismplace, 1 and 人［人間］
(domain beforeTaxIncome 1 Human)	FinancialOntology.kif 3233-3233	domain beforeTaxIncome, 1 and 人［人間］
(domain birthdate 1 Human)	Mid-level-ontology.kif 21972-21972	domain birthdate, 1 and 人［人間］
(domain birthday 1 Human)	Mid-level-ontology.kif 21949-21949	domain birthday, 1 and 人［人間］
(domain brother 2 Human)	Merge.kif 16739-16739	domain brother, 2 and 人［人間］
(domain chiefOfDiplomaticMission 2 Human)	Government.kif 4382-4382	domain chiefOfDiplomaticMission, 2 and 人［人間］
(domain chiefOfState 3 Human)	Government.kif 1514-1514	domain chiefOfState, 3 and 人［人間］
(domain citizen 1 Human)	Merge.kif 17032-17032	domain citizen, 1 and 人［人間］
(domain coaches 1 Human)	Sports.kif 422-422	domain coaches, 1 and 人［人間］
(domain coaches 2 Human)	Sports.kif 423-423	domain coaches, 2 and 人［人間］
(domain cohabitant 1 Human)	Mid-level-ontology.kif 20868-20868	domain cohabitant, 1 and 人［人間］
(domain cohabitant 2 Human)	Mid-level-ontology.kif 20869-20869	domain cohabitant, 2 and 人［人間］

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

(<=> (and (accountHolder ?Account ?Agent) (instance ?Agent Human)) (instance ?Account PersonalAccount))	FinancialOntology.kif 941-945	accountHolder FinancialAccount and 認識エージェント instance 認識エージェント and 人［人間］ instance FinancialAccount and PersonalAccount
(<=> (and (instance ?PERSON Human) (forall (?ORG) (not (employs ?ORG ?PERSON)))) (attribute ?PERSON Unemployed))	Merge.kif 17604-17610	instance 認識エージェント and 人［人間］代理(人) employs 代理(人) and 認識エージェント attribute 認識エージェント and Unemployed
(=> (and (attribute ?X Waiter) (instance ?X Human) (employs ?REST ?X) (instance ?REST Restaurant) (customer ?CUST ?REST) (located ?CUST ?TABLE) (instance ?TABLE Table)) (and (possesses ?REST ?KITCHEN) (instance ?KITCHEN KitchenArea) (instance ?DINING DiningArea) (located ?TABLE ?DINING) (hasPurpose ?X (and (instance ?C Carrying) (agent ?C ?X) (origin ?C ?KITCHEN) (destination ?C ?TABLE) (patient ?C ?FOOD) (instance ?FOOD (FoodForFn Human))))))	Mid-level-ontology.kif 18259-18280	attribute 認識エージェント and Waiter instance 認識エージェント and 人［人間］ employs 認識エージェント and 認識エージェント instance 認識エージェント and Restaurant customer 認識エージェント and 認識エージェント located 認識エージェント and オブジェクト instance オブジェクト and Table possesses 認識エージェント and オブジェクト instance オブジェクト and KitchenArea instance オブジェクト and DiningArea located オブジェクト and オブジェクト hasPurpose 認識エージェント and instance エンティティー and Carrying agent エンティティー and 認識エージェント origin エンティティー and オブジェクト destination エンティティー and オブジェクト patient エンティティー and エンティティー instance エンティティー and FoodForFn 人［人間］
(=> (and (governmentType ?PLACE Monarchy) (instance ?MONARCH Human) (instance ?SUCCESSOR Human) (holdsDuring ?T1 (chiefOfState ?PLACE ?ROLE ?MONARCH)) (holdsDuring ?T2 (chiefOfState ?PLACE ?ROLE ?SUCCESSOR)) (earlier ?T1 ?T2)) (confersNorm (relative ?MONARCH ?SUCCESSOR) (chiefOfState ?PLACE ?ROLE ?SUCCESSOR) Legal))	Government.kif 209-221	governmentType 代理(人) and Monarchy instance エンティティー and 人［人間］ instance エンティティー and 人［人間］ holdsDuring 時間間隔 and chiefOfState 代理(人), エンティティー and エンティティー holdsDuring 時間間隔 and chiefOfState 代理(人), エンティティー and エンティティー earlier 時間間隔 and 時間間隔 confersNorm relative エンティティー and エンティティー, chiefOfState 代理(人), エンティティー and エンティティー and Legal
(=> (and (holdsDuring ?T1 (member ?OBJ ?GROUP)) (instance ?OBJ Human) (instance ?GROUP GroupOfPeople)) (holdsDuring ?T1 (groupMember ?OBJ ?GROUP)))	Mid-level-ontology.kif 7270-7277	holdsDuring 時間位置 and member エンティティー and エンティティー instance エンティティー and 人［人間］ instance エンティティー and GroupOfPeople holdsDuring 時間位置 and groupMember エンティティー and エンティティー
(=> (and (instance ?AGENT Human) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (telephoneNumber ?NUMBER ?AGENT) (located ?DEVICE ?PLACE) (instance ?PLACE Residence)))) (holdsDuring ?TIME (inhabits ?AGENT ?PLACE)))	Mid-level-ontology.kif 22966-22975	instance エンティティー and 人［人間］ holdsDuring 時間位置 and deviceTelecomNumber エンティティー and エンティティー telephoneNumber エンティティー and エンティティー located エンティティー and エンティティー instance エンティティー and Residence holdsDuring 時間位置 and inhabits エンティティー and エンティティー
(=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (attribute ?AGENT (MemberFn ?ORG)))	Government.kif 1749-1755	instance オブジェクト and 人［人間］ instance 組織 and 組織 instance ポジション and ポジション attribute オブジェクト and MemberRoleFn 組織 and ポジション attribute オブジェクト and MemberFn 組織
(=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (member ?AGENT ?ORG))	Government.kif 1757-1763	instance オブジェクト and 人［人間］ instance 組織 and 組織 instance ポジション and ポジション attribute オブジェクト and MemberRoleFn 組織 and ポジション member オブジェクト and 組織
(=> (and (instance ?CHILD Human) (holdsDuring ?TIME (attribute ?CHILD NonFullyFormed))) (holdsDuring ?TIME (instance ?CHILD HumanYouth)))	Mid-level-ontology.kif 438-444	instance エンティティー and 人［人間］ holdsDuring 時間位置 and attribute エンティティー and NonFullyFormed holdsDuring 時間位置 and instance エンティティー and HumanYouth
(=> (and (instance ?CONFINE Confining) (patient ?CONFINE ?PERSON) (instance ?PERSON Human)) (not (desires ?PERSON (patient ?CONFINE ?PERSON))))	Merge.kif 12138-12143	instance 工程 and 閉じ込め patient 工程 and 認識エージェント instance 認識エージェント and 人［人間］ desires 認識エージェント and patient 工程 and 認識エージェント
(=> (and (instance ?EXPERIMENT Experimenting) (instance ?SUBJECT Human) (experimentalSubject ?EXPERIMENT ?SUBJECT)) (exists (?PROCESS) (and (instance ?PROCESS Process) (experiencer ?PROCESS ?SUBJECT) (or (experimentalControlProcess ?EXPERIMENT ?PROCESS) (experimentalVariableProcess ?EXPERIMENT ?PROCESS)))))	UXExperimentalTerms.kif 4118-4129	instance Experimenting and Experimenting instance 人［人間］ and 人［人間］ experimentalSubject Experimenting and 人［人間］工程 instance 工程 and 工程 experiencer 工程 and 人［人間］ experimentalControlProcess Experimenting and 工程 experimentalVariableProcess Experimenting and 工程
(=> (and (instance ?F MilitaryForce) (instance ?P Human) (instance ?I Imprisoning) (member ?P ?F) (agent ?I ?E) (patient ?I ?P) (enemy ?E ?P) (eventLocated ?I ?LOC) (attribute ?LOC WarState)) (attribute ?P PrisonerOfWar))	MilitaryPersons.kif 285-296	instance コレクション and MilitaryForce instance 代理(人) and 人［人間］ instance 工程 and Imprisoning member 代理(人) and コレクション agent 工程 and 代理(人) patient 工程 and 代理(人) enemy 代理(人) and 代理(人) eventLocated 工程 and オブジェクト attribute オブジェクト and WarState attribute 代理(人) and PrisonerOfWar
(=> (and (instance ?H Human) (attribute ?H Fever)) (exists (?N) (and (measure ?H (MeasureFn ?N FahrenheitDegree)) (greaterThan ?N 98.6))))	Mid-level-ontology.kif 6040-6048	instance オブジェクト and 人［人間］ attribute オブジェクト and Fever 実数 measure オブジェクト and MeasureFn 実数 and FahrenheitDegree greaterThan 実数 and 98.6
(=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (greaterThan ?N 12) (lessThan ?N 20)) (holdsDuring ?T1 (instance ?H Teenager)))	Mid-level-ontology.kif 492-498	instance エンティティー and 人［人間］ holdsDuring 時間位置 and age エンティティー and MeasureFn 量 and YearDuration greaterThan 量 and 12 lessThan 量 and 20 holdsDuring 時間位置 and instance エンティティー and Teenager
(=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (greaterThanOrEqualTo ?N 18)) (holdsDuring ?T1 (instance ?H HumanAdult)))	Mid-level-ontology.kif 358-364	instance エンティティー and 人［人間］ holdsDuring 時間位置 and age エンティティー and MeasureFn 量 and YearDuration greaterThanOrEqualTo 量 and 18 holdsDuring 時間位置 and instance エンティティー and HumanAdult
(=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (lessThan ?N 18)) (holdsDuring ?T1 (instance ?H HumanYouth)))	Mid-level-ontology.kif 419-424	instance エンティティー and 人［人間］ holdsDuring 時間位置 and age エンティティー and MeasureFn 量 and YearDuration lessThan 量 and 18 holdsDuring 時間位置 and instance エンティティー and HumanYouth
(=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (lessThanOrEqualTo ?N 1)) (holdsDuring ?T1 (instance ?H HumanBaby)))	Mid-level-ontology.kif 554-559	instance エンティティー and 人［人間］ holdsDuring 時間位置 and age エンティティー and MeasureFn 量 and YearDuration lessThanOrEqualTo 量 and 1 holdsDuring 時間位置 and instance エンティティー and HumanBaby
(=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (lessThanOrEqualTo ?N 14)) (holdsDuring ?T1 (instance ?H HumanChild)))	Mid-level-ontology.kif 463-468	instance エンティティー and 人［人間］ holdsDuring 時間位置 and age エンティティー and MeasureFn 量 and YearDuration lessThanOrEqualTo 量 and 14 holdsDuring 時間位置 and instance エンティティー and HumanChild
(=> (and (instance ?H Human) (occupiesPosition ?H ?B ?O) (attribute ?B Banker)) (instance ?O Bank-FinancialOrganization))	FinancialOntology.kif 3544-3549	instance 人［人間］ and 人［人間］ occupiesPosition 人［人間］, ポジション and 組織 attribute ポジション and Banker instance 組織 and Bank-FinancialOrganization
(=> (and (instance ?IMPRISON Imprisoning) (detainee ?IMPRISON ?AGENT) (instance ?AGENT Human) (time ?IMPRISON ?INTERVAL) (instance ?INTERVAL TimeInterval)) (exists (?ARREST ?TIME) (and (instance ?TIME TimeInterval) (time ?ARREST ?TIME) (earlier ?TIME ?INTERVAL) (instance ?ARREST PlacingUnderArrest) (arrested ?ARREST ?AGENT))))	Mid-level-ontology.kif 21424-21437	instance 閉じ込め and Imprisoning detainee 閉じ込め and 動物 instance 動物 and 人［人間］ time 閉じ込め and 時間間隔 instance 時間間隔 and 時間間隔 PlacingUnderArrest 時間間隔 instance 時間間隔 and 時間間隔 time PlacingUnderArrest and 時間間隔 earlier 時間間隔 and 時間間隔 instance PlacingUnderArrest and PlacingUnderArrest arrested PlacingUnderArrest and 動物
(=> (and (instance ?ORG Human) (holdsDuring ?TIME (attribute ?ORG FullyFormed))) (holdsDuring ?TIME (instance ?ORG HumanAdult)))	Mid-level-ontology.kif 374-380	instance エンティティー and 人［人間］ holdsDuring 時間位置 and attribute エンティティー and FullyFormed holdsDuring 時間位置 and instance エンティティー and HumanAdult
(=> (and (instance ?ORG MilitaryOrganization) (holdsDuring ?T1 (member ?X ?ORG)) (instance ?X Human)) (holdsDuring ?T1 (attribute ?X MilitaryPerson)))	Mid-level-ontology.kif 20365-20370	instance エンティティー and MilitaryOrganization holdsDuring 時間位置 and member エンティティー and エンティティー instance エンティティー and 人［人間］ holdsDuring 時間位置 and attribute エンティティー and MilitaryPerson
(=> (and (instance ?ORGANISM Human) (attribute ?ORGANISM Fever)) (exists (?NUMBER) (and (measure ?ORGANISM (MeasureFn ?NUMBER FahrenheitDegree)) (greaterThan ?NUMBER 98.6))))	WMD.kif 1006-1013	instance オブジェクト and 人［人間］ attribute オブジェクト and Fever 実数 measure オブジェクト and MeasureFn 実数 and FahrenheitDegree greaterThan 実数 and 98.6
(=> (and (instance ?P Human) (attribute ?P Criminal)) (exists (?CA ?LC) (and (instance ?CA CriminalAction) (instance ?LC LegalConviction) (refers ?LC ?CA) (patient ?LC ?P))))	Justice.kif 85-94	instance オブジェクト and 人［人間］ attribute オブジェクト and Criminal エンティティー工程 instance エンティティー and CriminalAction instance 工程 and LegalConviction refers 工程 and エンティティー patient 工程 and オブジェクト
(=> (and (instance ?PARK DisabledParking) (instance ?AGENT Human) (attribute ?AGENT ?ATTR) (instance ?ATTR Disability)) (hasPurposeForAgent ?PARK (and (playsRoleInEvent ?PARK destination ?EVENT) (playsRoleInEvent ?TD patient ?EVENT) (instance ?TD TransportationDevice)) ?AGENT))	TransportDetail.kif 49-59	instance 物理 and DisabledParking instance 代理(人) and 人［人間］ attribute 代理(人) and エンティティー instance エンティティー and Disability hasPurposeForAgent 物理, playsRoleInEvent 物理, destination and エンティティー playsRoleInEvent エンティティー, patient and エンティティー instance エンティティー and 輸送機 and 代理(人)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

KB Term:			Term intersection

English Word: