| 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 14510-14512 | |
| (domain inhabits 1 Organism) | Merge.kif 14508-14508 | |
| (domain inhabits 2 Object) | Merge.kif 14509-14509 | |
| (instance inhabits AsymmetricRelation) | Merge.kif 14507-14507 | |
| (instance inhabits BinaryPredicate) | Merge.kif 14506-14506 |
| 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 526-526 | |
| (format FrenchLanguage inhabits "%1 %n{ne} vie %n{pas} � %2") | french_format.kif 308-308 | |
| (format ItalianLanguage inhabits "%1 %n{non} abita%p{s} in %2") | relations-it.txt 143-143 | |
| (format JapaneseLanguage inhabits "%1 は %2 に live%p{s} %n{ない}") | japanese_format.kif 2076-2076 | |
| (format PortugueseLanguage inhabits "%1 %n{nao} vive %n em %2") | portuguese_format.kif 260-260 | |
| (format cz inhabits "%1 %n{doesn't} live%p{s} in %2") | relations-cz.txt 314-314 | |
| (format de inhabits "%1 wohnt %n{nicht} in %2") | relations-de.txt 677-677 | |
| (format hi inhabits "%1 %2 men %n{nahiin} rahataa hai") | relations-hindi.txt 182-182 | |
| (format ro inhabits "%1 %n{nu} live%t{locuieºte} în %2") | relations-ro.kif 329-329 | |
| (format sv inhabits "%1 lever %n{inte} i %2") | relations-sv.txt 336-336 | |
| (format tg inhabits "%1 %n ay nabubuhay sa %2") | relations-tg.txt 290-290 | |
| (subrelation home inhabits) | Merge.kif 14522-14522 | |
| (subrelation stays inhabits) | Merge.kif 14529-14529 | |
| (termFormat ChineseLanguage inhabits "居住") | chinese_format.kif 522-522 | |
| (termFormat ChineseLanguage inhabits "栖息") | domainEnglishFormat.kif 30084-30084 | |
| (termFormat ChineseTraditionalLanguage inhabits "棲息") | domainEnglishFormat.kif 30083-30083 | |
| (termFormat EnglishLanguage inhabits "inhabits") | domainEnglishFormat.kif 30082-30082 | |
| (termFormat de inhabits "wohnt") | terms-de.txt 205-205 | |
| (termFormat tg inhabits "nabubuhay") | relations-tg.txt 291-291 |
| antecedent |
|
|
| (<=> (inhabits ?I ?L) (instance ?I Inhabitant)) |
Mid-level-ontology.kif 32333-32335 | |
| (=> (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 14610-14614 | |
| (=> (and (instance ?FUNGUS Fungus) (inhabits ?FUNGUS ?OBJ)) (instance ?OBJ Organism)) |
Merge.kif 14569-14573 | |
| (=> (and (instance ?VIRUS Virus) (inhabits ?VIRUS ?OBJ)) (instance ?OBJ Organism)) |
Merge.kif 14622-14626 | |
| (=> (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 14514-14520 |
| consequent |
|
|
| (<=> (and (instance ?YEAR (YearFn ?Y)) (equal (MigrantsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal (SubtractionFn ?Y ?PY) 1) (instance ?PREVIOUSYEAR (YearFn ?PY)) (holdsDuring ?YEAR (equal (PopulationFn ?AREA) ?POPULATION)) (equal (DivisionFn ?POPULATION 1000) ?THOUSANDS) (equal ?IMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring ?PREVIOUSYEAR (not (inhabits ?PERSON ?AREA))) (holdsDuring ?YEAR (inhabits ?PERSON ?AREA)))))) (equal ?EMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring ?PREVIOUSYEAR (inhabits ?PERSON ?AREA)) (holdsDuring ?YEAR (not (inhabits ?PERSON ?AREA))))))) (equal (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT) (equal (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER))) |
People.kif 156-187 | |
| (<=> (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 | |
| (=> (and (attribute ?I Inhabited) (instance ?I Region)) (exists (?H) (and (instance ?H Human) (inhabits ?H ?I)))) |
Mid-level-ontology.kif 32014-32021 | |
| (=> (and (attribute ?U Uninhabited) (instance ?U Region)) (not (exists (?H) (and (instance ?H Human) (inhabits ?H ?U))))) |
Mid-level-ontology.kif 31998-32006 | |
| (=> (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 26699-26708 | |
| (=> (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 18903-18919 | |
| (=> (and (instance ?S ?C) (subclass ?C Seafood)) (exists (?X ?SEA ?ANIMAL) (and (meatOfAnimal ?C ?ANIMAL) (instance ?X ?ANIMAL) (instance ?SEA BodyOfWater) (inhabits ?X ?SEA)))) |
Food.kif 1934-1943 | |
| (=> (habitatOfOrganism ?O ?L) (modalAttribute (exists (?OI) (and (instance ?OI ?O) (inhabits ?OI ?L))) Likely)) |
Mid-level-ontology.kif 32308-32315 | |
| (=> (instance ?ALGA Alga) (exists (?WATER) (and (inhabits ?ALGA ?WATER) (instance ?WATER Water)))) |
Merge.kif 14556-14561 | |
| (=> (instance ?B Burrow) (exists (?A) (hasPurpose ?B (inhabits ?A ?B)))) |
Geography.kif 6175-6179 | |
| (=> (instance ?B MilitaryBase) (exists (?H) (and (instance ?H Human) (attribute ?H MilitaryPerson) (inhabits ?H ?B)))) |
MilitaryProcesses.kif 2758-2764 | |
| (=> (instance ?BUILDING Building) (exists (?HUMAN) (and (instance ?HUMAN Human) (or (inhabits ?HUMAN ?BUILDING) (exists (?ACT) (and (agent ?ACT ?HUMAN) (located ?ACT ?BUILDING))))))) |
Merge.kif 15878-15888 | |
| (=> (instance ?FISH Fish) (exists (?WATER) (and (inhabits ?FISH ?WATER) (instance ?WATER Water)))) |
Merge.kif 14711-14716 | |
| (=> (instance ?I Inhabitant) (exists (?L) (and (instance ?L Object) (inhabits ?I ?L)))) |
Mid-level-ontology.kif 32326-32331 | |
| (=> (instance ?P (DemonymFn ?N)) (or (exists (?R) (and (located ?R ?N) (inhabits ?P ?R))) (birthplace ?P ?N))) |
Mid-level-ontology.kif 32572-32579 | |
| (=> (instance ?R MobileResidence) (hasPurpose ?R (exists (?H ?T) (and (instance ?H Human) (instance ?T Translocation) (inhabits ?H ?R) (patient ?T ?R))))) |
Mid-level-ontology.kif 7774-7782 | |
| (=> (instance ?RESIDENCE AnimalResidence) (hasPurpose ?RESIDENCE (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (not (instance ?ANIMAL Human)) (inhabits ?ANIMAL ?RESIDENCE))))) |
Mid-level-ontology.kif 8158-8165 | |
| (=> (parasite ?O1 ?O2) (inhabits ?O1 ?O2)) |
Mid-level-ontology.kif 7217-7219 |
| 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 | |
| (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 940-949 | |
| (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 963-974 | |
| (equal (PopulationFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (inhabits ?PERSON ?AREA))))) |
Mid-level-ontology.kif 33660-33665 | |
| (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 1001-1014 |
|
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