consequent

(=>     (instance ?RESIDENCE ExecutiveResidence)     (exists (?AREA ?POSITION ?PERSON)         (and             (located ?RESIDENCE ?AREA)             (home ?PERSON ?RESIDENCE)             (chiefOfState ?AREA ?POSITION ?PERSON))))	Government.kif 1504-1510	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
(=>     (instance ?RESIDENCE PermanentResidence)     (exists (?PERSON)         (home ?PERSON ?RESIDENCE)))	Merge.kif 15966-15969	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 15997-16009	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 16476-16481	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 7626-7633	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 9240-9242	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 18323-18329	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 19946-19954	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 27407-27414	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

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