Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SocialUnit(social unit) |
| appearance as argument number 1 |
|
| (subclass SocialUnit GroupOfPeople) | Merge.kif 16631-16631 | Social unit is a subclass of group of people |
| (documentation SocialUnit EnglishLanguage "A GroupOfPeople who all have the same home.") | Merge.kif 16632-16633 | Social unit is a subclass of group of people |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
| (=> (and (instance ?UNIT SocialUnit) (holdsDuring ?T1 (and (member ?UNIT ?H1) (member ?UNIT ?H2)))) (holdsDuring ?T1 (cohabitant ?H1 ?H2))) |
Mid-level-ontology.kif 25316-25324 | If X is an instance of social unit and X is a member of Y and X is a member of Z holds during W, then Z is a cohabitant of Y holds during W |
| consequent |
|
|
| (=> (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 |
| (=> (holdsDuring ?T1 (cohabitant ?H1 ?H2)) (exists (?UNIT) (and (instance ?UNIT SocialUnit) (holdsDuring ?T1 (and (member ?UNIT ?H1) (member ?UNIT ?H2)))))) |
Mid-level-ontology.kif 25306-25314 | If X is a cohabitant of Y holds during Z, then there exists W such that W is an instance of social unit, W is a member of Y, and W is a member of X holds during Z |
|