| appearance as argument number 1 |
|
| (documentation SocialUnit ChineseLanguage "这是一组有相同 home 的GroupOfPeople。") | chinese_format.kif 3676-3676 | |
| (documentation SocialUnit EnglishLanguage "A GroupOfPeople who all have the same home.") | Merge.kif 15134-15135 | |
| (subclass SocialUnit GroupOfPeople) | Merge.kif 15133-15133 | subclass SocialUnit and GroupOfPeople |
| appearance as argument number 2 |
|
|
| (subclass NuclearFamily SocialUnit) | Mid-level-ontology.kif 21120-21120 | subclass NuclearFamily and SocialUnit |
| (termFormat ChineseLanguage SocialUnit "社会单位") | domainEnglishFormat.kif 53582-53582 | |
| (termFormat ChineseTraditionalLanguage SocialUnit "社會單位") | domainEnglishFormat.kif 53581-53581 | |
| (termFormat EnglishLanguage SocialUnit "social unit") | domainEnglishFormat.kif 53580-53580 |
| antecedent |
|
|
| (=> (and (instance ?UNIT SocialUnit) (holdsDuring ?T1 (and (member ?UNIT ?H1) (member ?UNIT ?H2)))) (holdsDuring ?T1 (cohabitant ?H1 ?H2))) |
Mid-level-ontology.kif 20925-20930 |
|
| (=> (instance ?UNIT SocialUnit) (exists (?HOME) (=> (member ?MEMBER ?UNIT) (home ?MEMBER ?HOME)))) |
Merge.kif 15137-15142 |
| consequent |
|
|
| (=> (holdsDuring ?T1 (cohabitant ?H1 ?H2)) (exists (?UNIT) (and (instance ?UNIT SocialUnit) (holdsDuring ?T1 (and (member ?UNIT ?H1) (member ?UNIT ?H2)))))) |
Mid-level-ontology.kif 20917-20923 |
|
| (=> (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 14691-14703 |
|
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