(=>
(instance ?ALGA Alga)
(exists (?WATER)
(and
(inhabits ?ALGA ?WATER)
(instance ?WATER Water)))) |
Merge.kif 14730-14735 |
If X is an instance of alga, then there exists Y such that X lives in Y and Y is an instance of water |
(=>
(instance ?FISH Fish)
(exists (?WATER)
(and
(inhabits ?FISH ?WATER)
(instance ?WATER Water)))) |
Merge.kif 14885-14890 |
If X is an instance of fish, then there exists Y such that X lives in Y and Y is an instance of water |
(=>
(instance ?BUILDING Building)
(exists (?HUMAN)
(and
(instance ?HUMAN Human)
(or
(inhabits ?HUMAN ?BUILDING)
(exists (?ACT)
(and
(agent ?ACT ?HUMAN)
(located ?ACT ?BUILDING))))))) |
Merge.kif 16028-16038 |
If X is an instance of building, then there exists Y such that Y is an instance of human, Y lives in X or there exists Z such that Y is an agent of Z, and Z is located at X |
(=>
(parasite ?O1 ?O2)
(inhabits ?O1 ?O2)) |
Mid-level-ontology.kif 7399-7401 |
If X is a parasite of Y, then Y lives in X |
(=>
(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 7925-7933 |
If X is an instance of mobile residence, then X has the purpose there exist Y, Z such that Y is an instance of human, Z is an instance of translocation, Y lives in X, and X is a patient of Z |
(=>
(instance ?RESIDENCE AnimalResidence)
(hasPurpose ?RESIDENCE
(exists (?ANIMAL)
(and
(instance ?ANIMAL Animal)
(not
(instance ?ANIMAL Human))
(inhabits ?ANIMAL ?RESIDENCE))))) |
Mid-level-ontology.kif 8313-8320 |
If X is an instance of animal residence, then X has the purpose there exists Y such that Y is an instance of animal, Y is not an instance of human, and Y lives in X |
(=>
(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 19191-19207 |
If X is an instance of immigrating and Y is an agent of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of nation (3) W is an instance of nation (4) X originates at Z (5) X ends up at W (6) equal Z (7) W (8) Y is a member of the citizenry of Z (9) Y is not a member of the citizenry of W (10) X has the purpose Y lives in W |
(=>
(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 27317-27326 |
If X is an instance of human and Y has number Z, Z is the telephone number of X, Y is located at W, and W is an instance of residence holds during V, then X lives in W holds during V |
(=>
(and
(attribute ?U Uninhabited)
(instance ?U Region))
(not
(exists (?H)
(and
(instance ?H Human)
(inhabits ?H ?U))))) |
Mid-level-ontology.kif 32712-32720 |
If uninhabited is an attribute of X and X is an instance of region, then there doesn't exist Y such that Y is an instance of human and Y lives in X |
(=>
(and
(attribute ?I Inhabited)
(instance ?I Region))
(exists (?H)
(and
(instance ?H Human)
(inhabits ?H ?I)))) |
Mid-level-ontology.kif 32728-32735 |
If inhabited is an attribute of X and X is an instance of region, then there exists Y such that Y is an instance of human and Y lives in X |
(=>
(habitatOfOrganism ?O ?L)
(modalAttribute
(exists (?OI)
(and
(instance ?OI ?O)
(inhabits ?OI ?L))) Likely)) |
Mid-level-ontology.kif 33034-33041 |
If X inhabits Y, then the statement there exists Z such that Z is an instance of X and Z lives in Y has the modal force of likely |
(=>
(instance ?I Inhabitant)
(exists (?L)
(and
(instance ?L Object)
(inhabits ?I ?L)))) |
Mid-level-ontology.kif 33052-33057 |
If X is an instance of inhabitant, then there exists Y such that Y is an instance of object and X lives in Y |
(=>
(instance ?P
(DemonymFn ?N))
(or
(exists (?R)
(and
(located ?R ?N)
(inhabits ?P ?R)))
(birthplace ?P ?N))) |
Mid-level-ontology.kif 33283-33290 |
If X is an instance of Y-ian, then there exists Z such that Z is located at Y and X lives in Z or Y is a birthplace of X |
(=>
(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 1941-1950 |
If X is an instance of Y and Y is a subclass of seafood, then there exist Z, W, V such that Y is the meat of V, Z is an instance of V, W is an instance of body of water, and Z lives in W |
(=>
(instance ?B Burrow)
(exists (?A)
(hasPurpose ?B
(inhabits ?A ?B)))) |
Geography.kif 7642-7646 |
If X is an instance of burrow, then there exists Y such that X has the purpose Y lives in X |
(=>
(instance ?A Attic)
(hasPurpose ?A
(not
(exists (?P)
(inhabits ?P ?A))))) |
HouseholdAppliances.kif 1127-1132 |
If X is an instance of attic, then X has the purpose there doesn't exist Y such that Y lives in X |
(=>
(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 |
If dislocated civilian is an attribute of X, X lives in Y, and Y is located at Z holds during W, Z is an instance of geographic area, and W is an instance of timeframe, then All of the following hold: (1) there exist V, ?PRIOR_PLACE (2) ?PRIOR_RES such that V is an instance of timeframe (3) V happens earlier than W (4) ?PRIOR_RES is an instance of object (5) ?PRIOR_PLACE is an instance of geopolitical area (6) ?PRIOR_RES is located at ?PRIOR_PLACE (7) equal Z (8) ?PRIOR_PLACE (9) equal Y (10) ?PRIOR_RES (11) Z is not a geographic subregion of ?PRIOR_PLACE (12) ?PRIOR_PLACE is not a geographic subregion of Z (13) X lives in ?PRIOR_RES holds during V |
(=>
(instance ?B MilitaryBase)
(exists (?H)
(and
(instance ?H Human)
(attribute ?H MilitaryPerson)
(inhabits ?H ?B)))) |
MilitaryProcesses.kif 2799-2805 |
If X is an instance of military base, then there exists Y such that Y is an instance of human, military person is an attribute of Y, and Y lives in X |
(=>
(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 190-221 |
If X is an instance of the year Y and equal the migrants per thousand of Z, X, and W, then All of the following hold: (1) equal (Y and V) and 1 (2) U is an instance of the year V (3) equal the population of Z and T holds during X (4) equal T, 1000, and S (5) equal R and the number of instances in the class described by Q (6) equal P and the number of instances in the class described by Q (7) equal (R and P) and O (8) equal O, S, and W |
(=>
(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 240-257 |
If equal the male to female ratio of X and Y, then equal Z and the number of instances in the class described by W, equal V and the number of instances in the class described by U, and equal Z, V, and Y |
inhabits