(=>
(instance ?RESIDENCE PermanentResidence)
(exists (?PERSON)
(home ?PERSON ?RESIDENCE))) |
Merge.kif 16096-16099 |
If X is an instance of permanent residence, then there exists Y such that the home of Y is X |
(=>
(instance ?RESIDENCE SingleFamilyResidence)
(hasPurpose ?RESIDENCE
(forall (?AGENT1 ?AGENT2)
(=>
(and
(home ?AGENT1 ?RESIDENCE)
(home ?AGENT2 ?RESIDENCE))
(exists (?UNIT)
(and
(instance ?UNIT SocialUnit)
(member ?AGENT1 ?UNIT)
(member ?AGENT2 ?UNIT))))))) |
Merge.kif 16127-16139 |
If X is an instance of single family residence, then X has the purpose Y, Z the home of Y is X, the home of Z is Xthere exists W such that W is an instance of social unit, Y is a member of W, and Z is a member of W |
(=>
(instance ?UNIT SocialUnit)
(exists (?HOME ?MEMBER)
(=>
(member ?MEMBER ?UNIT)
(home ?MEMBER ?HOME)))) |
Merge.kif 16635-16640 |
If X is an instance of social unit, then there exist Y and Z such that Z is a member of Xthe home of Z is Y |
(=>
(neighbor ?PERSON1 ?PERSON2)
(exists (?HOME1 ?HOME2)
(and
(home ?PERSON1 ?HOME1)
(home ?PERSON2 ?HOME2)
(not
(equal ?HOME1 ?HOME2))
(orientation ?HOME1 ?HOME2 Near)))) |
Mid-level-ontology.kif 7759-7766 |
If X is a neighbor of Y, then there exist Z, W such that the home of Y is Z, the home of X is W, equal Z, W, and Z is near to W |
(=>
(member ?PERSON
(ResidentFn ?AREA))
(home ?PERSON ?AREA)) |
Mid-level-ontology.kif 9354-9356 |
If X is a member of the resident of Y, then the home of X is Y |
(=>
(instance ?DS DaySchool)
(not
(exists (?S)
(and
(student ?S ?DS)
(home ?S ?DS))))) |
Mid-level-ontology.kif 18397-18403 |
If X is an instance of day school, then there doesn't exist Y such that Y is a student of X and the home of Y is X |
(=>
(and
(instance ?MOVE MovingResidence)
(agent ?MOVE ?AGENT))
(exists (?HOME1 ?HOME2)
(and
(holdsDuring
(BeginFn
(WhenFn ?MOVE))
(home ?AGENT ?HOME1))
(holdsDuring
(EndFn
(WhenFn ?MOVE))
(home ?AGENT ?HOME2))
(not
(equal ?HOME1 ?HOME2))))) |
Mid-level-ontology.kif 19993-20001 |
If X is an instance of moving and Y is an agent of X, then there exist Z, W such that the home of Y is Z holds during the beginning of the time of existence of X, the home of Y is W holds during the end of the time of existence of X, equal Z, and W |
(=>
(holdsDuring ?TIME
(and
(deviceTelecomNumber ?NUMBER ?DEVICE)
(homePhoneNumber ?NUMBER ?AGENT)
(located ?DEVICE ?PLACE)
(instance ?PLACE PermanentResidence)))
(holdsDuring ?TIME
(home ?AGENT ?PLACE))) |
Mid-level-ontology.kif 27308-27315 |
If X has number Y, Y is the home phone of Z, X is located at W, and W is an instance of permanent residence holds during V, then the home of Z is W holds during V |
(=>
(instance ?RESIDENCE ExecutiveResidence)
(exists (?AREA ?POSITION ?PERSON)
(and
(located ?RESIDENCE ?AREA)
(home ?PERSON ?RESIDENCE)
(chiefOfState ?AREA ?POSITION ?PERSON)))) |
Government.kif 1513-1519 |
If X is an instance of executive residence, then there exist Y, Z, W such that X is located at Y, the home of W is X, and Y chief of state Z for W |
