| appearance as argument number 1 |
|
| (documentation inhabits ChineseLanguage "这是住在其他某样东西内最基本的概念。 (inhabits ?ORGANISM ?OBJECT)的意思是 ?OBJECT 是 ?ORGANISM 的住所(临时或永久的)、巢ホール如此类推。") | chinese_format.kif 3373-3374 | |
| (documentation inhabits EnglishLanguage "A very basic notion of living within something else. (inhabits ?ORGANISM ?OBJECT) means that ?OBJECT is the residence (either permanent or temporary), nest, etc. of ?ORGANISM.") | Merge.kif 13337-13339 | |
| (domain inhabits 1 Organism) | Merge.kif 13335-13335 | 居住 的 1 数量 是 生物 的 instance |
| (domain inhabits 2 Object) | Merge.kif 13336-13336 | 居住 的 2 数量 是 客体 的 instance |
| (instance inhabits AsymmetricRelation) | Merge.kif 13334-13334 | 居住 是 非对称关系 的 instance |
| (instance inhabits BinaryPredicate) | Merge.kif 13333-13333 | 居住 是 二元谓语 的 instance |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage inhabits "%1 %n{doesn't} 住在 %2") | chinese_format.kif 521-521 | |
| (format EnglishLanguage inhabits "%1 %n{doesn't} live%p{s} in %2") | english_format.kif 529-529 | |
| (subrelation home inhabits) | Merge.kif 13349-13349 | 家 是 居住 的 subrelation |
| (subrelation stays inhabits) | Merge.kif 13356-13356 | 停留 是 居住 的 subrelation |
| (termFormat ChineseLanguage inhabits "居住") | chinese_format.kif 522-522 | |
| (termFormat ChineseLanguage inhabits "栖息") | domainEnglishFormat.kif 29992-29992 | |
| (termFormat ChineseTraditionalLanguage inhabits "棲息") | domainEnglishFormat.kif 29991-29991 | |
| (termFormat EnglishLanguage inhabits "inhabits") | domainEnglishFormat.kif 29990-29990 |
| antecedent |
|
|
| (=> (and (holdsDuring ?T1 (and (attribute ?PERSON DislocatedCivilian) (inhabits ?PERSON ?RESIDENCE) (located ?RESIDENCE ?PLACE))) (instance ?PLACE GeographicArea) (instance ?T1 TimeInterval)) (exists (?T0 ?PRIOR-PLACE ?PRIOR-RES) (and (instance ?T0 TimeInterval) (earlier ?T0 ?T1) (instance ?PRIOR-RES Object) (instance ?PRIOR-PLACE GeopoliticalArea) (located ?PRIOR-RES ?PRIOR-PLACE) (not (equal ?PLACE ?PRIOR-PLACE)) (not (equal ?RESIDENCE ?PRIOR-RES)) (not (geographicSubregion ?PLACE ?PRIOR-PLACE)) (not (geographicSubregion ?PRIOR-PLACE ?PLACE)) (holdsDuring ?T0 (inhabits ?PERSON ?PRIOR-RES))))) |
MilitaryPersons.kif 26-47 |
|
| (=> (and (instance ?BACTERIUM Bacterium) (inhabits ?BACTERIUM ?OBJ)) (instance ?OBJ Organism)) |
Merge.kif 13437-13441 | |
| (=> (and (instance ?FUNGUS Fungus) (inhabits ?FUNGUS ?OBJ)) (instance ?OBJ Organism)) |
Merge.kif 13396-13400 | |
| (=> (and (instance ?VIRUS Virus) (inhabits ?VIRUS ?OBJ)) (instance ?OBJ Organism)) |
Merge.kif 13449-13453 | |
| (=> (holdsDuring ?T1 (and (attribute ?P DisplacedPerson) (inhabits ?P ?RES) (located ?RES ?PLACE) (citizen ?P ?NATION))) (not (partlyLocated ?PLACE ?NATION))) |
MilitaryPersons.kif 70-78 | |
| (=> (holdsDuring ?T1 (and (attribute ?P InternallyDisplacedPerson) (inhabits ?P ?RES) (located ?RES ?PLACE) (citizen ?P ?NATION))) (partlyLocated ?PLACE ?NATION)) |
MilitaryPersons.kif 92-99 | |
| (=> (holdsDuring ?T1 (inhabits ?ORGANISM ?OBJ)) (exists (?TIME) (and (instance ?TIME TimeInterval) (temporalPart ?TIME ?T1) (holdsDuring ?TIME (located ?ORGANISM ?OBJ))))) |
Merge.kif 13341-13347 |
|
| consequent |
|
|
| (<=> (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 那个 实数 |
| (<=> (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 | 地缘政治区域 和 整数 year 每一千的 migrants equal 实数 若且唯若 (那个 整数 和 数量) equal 1 和 那个 地缘政治区域 的 population equal 另一个 数量 在 那个 整数 year holdsDuring 和 那个 另外 数量 和 1000 equal 第三 数量 和 另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 第三 整数 equal 那个 符号串 所描述的类别 instance 的数量 和 (那个 另外 整数 和 那个 第三 整数) equal 第四 数量 和 那个 第四 数量 和 那个 第三 数量 equal 那个 实数 |
| (=> (and (attribute ?I Inhabited) (instance ?I Region)) (exists (?H) (and (instance ?H Human) (inhabits ?H ?I)))) |
Mid-level-ontology.kif 28308-28315 | |
| (=> (and (attribute ?U Uninhabited) (instance ?U Region)) (not (exists (?H) (and (instance ?H Human) (inhabits ?H ?U))))) |
Mid-level-ontology.kif 28292-28300 | |
| (=> (and (holdsDuring ?T1 (and (attribute ?PERSON DislocatedCivilian) (inhabits ?PERSON ?RESIDENCE) (located ?RESIDENCE ?PLACE))) (instance ?PLACE GeographicArea) (instance ?T1 TimeInterval)) (exists (?T0 ?PRIOR-PLACE ?PRIOR-RES) (and (instance ?T0 TimeInterval) (earlier ?T0 ?T1) (instance ?PRIOR-RES Object) (instance ?PRIOR-PLACE GeopoliticalArea) (located ?PRIOR-RES ?PRIOR-PLACE) (not (equal ?PLACE ?PRIOR-PLACE)) (not (equal ?RESIDENCE ?PRIOR-RES)) (not (geographicSubregion ?PLACE ?PRIOR-PLACE)) (not (geographicSubregion ?PRIOR-PLACE ?PLACE)) (holdsDuring ?T0 (inhabits ?PERSON ?PRIOR-RES))))) |
MilitaryPersons.kif 26-47 |
|
| (=> (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 23004-23013 | |
| (=> (and (instance ?I Immigrating) (agent ?I ?A)) (exists (?N1 ?N2) (and (instance ?N1 Nation) (instance ?N2 Nation) (origin ?I ?N1) (destination ?I ?N2) (not (equal ?N1 ?N2)) (member ?A (CitizenryFn ?N1)) (not (member ?A (CitizenryFn ?N2))) (hasPurpose ?I (inhabits ?A ?N2))))) |
Mid-level-ontology.kif 14938-14954 |
|
| (=> (and (instance ?S ?C) (subclass ?C Seafood)) (exists (?X ?SEA) (and (meatOfAnimal ?C ?ANIMAL) (instance ?X ?ANIMAL) (instance ?SEA BodyOfWater) (inhabits ?X ?SEA)))) |
Food.kif 274-283 | |
| (=> (habitatOfOrganism ?O ?L) (modalAttribute (exists (?OI) (and (instance ?OI ?O) (inhabits ?O ?L))) Likely)) |
Mid-level-ontology.kif 28557-28564 | |
| (=> (instance ?ALGA Alga) (exists (?WATER) (and (inhabits ?ALGA ?WATER) (instance ?WATER Water)))) |
Merge.kif 13383-13388 | |
| (=> (instance ?B Burrow) (exists (?A) (hasPurpose ?B (inhabits ?A ?B)))) |
Geography.kif 5638-5642 | |
| (=> (instance ?BUILDING Building) (exists (?HUMAN) (and (instance ?HUMAN Human) (or (inhabits ?HUMAN ?BUILDING) (exists (?ACT) (and (agent ?ACT ?HUMAN) (located ?ACT ?BUILDING))))))) |
Merge.kif 14589-14599 | |
| (=> (instance ?FISH Fish) (exists (?WATER) (and (inhabits ?FISH ?WATER) (instance ?WATER Water)))) |
Merge.kif 13529-13534 | |
| (=> (instance ?P (DemonymFn ?N)) (or (exists (?R) (and (located ?R ?N) (inhabits ?P ?R))) (birthplace ?P ?N))) |
Mid-level-ontology.kif 28805-28812 | |
| (=> (instance ?RESIDENCE AnimalResidence) (hasPurpose ?RESIDENCE (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (not (instance ?ANIMAL Human)) (inhabits ?ANIMAL ?RESIDENCE))))) |
Mid-level-ontology.kif 6636-6642 | |
| (=> (parasite ?O1 ?O2) (inhabits ?O1 ?O2)) |
Mid-level-ontology.kif 6104-6106 |
| 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 | 地缘政治区域 的 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 (PopulationFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (inhabits ?PERSON ?AREA))))) |
People.kif 49-54 | 地缘政治区域 的 population 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 的数量 |
|
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