Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  SocialParty

 Sigma KEE - SocialParty
SocialParty(social party)Ludi_Saeculares, affair, agon, ball, bash, birthday_party, brawl, bun-fight, bunfight, ceilidh, celebrate, celebration, cocktail_party, come_by, company, dance, dinner, dinner_party, do, drop_by, drop_in, fancy-dress_ball, feast, feria, festivity, fete, fiesta, function, fundraiser, get_together, hop, house_party, jolly, jubilate, jubilation, luau, mask, masked_ball, masque, masquerade, masquerade_ball, masquerade_party, meeting, occasion, party, photo_op, photo_opportunity, power_breakfast, reception, record_hop...

appearance as argument number 1
-------------------------


(subclass SocialParty Meeting) Mid-level-ontology.kif 17591-17591 Social party is a subclass of meeting
(subclass SocialParty RecreationOrExercise) Mid-level-ontology.kif 17592-17592 Social party is a subclass of recreation or exercise
(documentation SocialParty EnglishLanguage "Any Meeting where the intent is primarily to socialize and be entertained.") Mid-level-ontology.kif 17593-17594 Social party is a subclass of recreation or exercise

appearance as argument number 2
-------------------------


(disjoint FormalMeeting SocialParty) Mid-level-ontology.kif 17597-17597 Formal meeting is disjoint from social party
(termFormat EnglishLanguage SocialParty "social party") domainEnglishFormat.kif 53637-53637 Formal meeting is disjoint from social party
(termFormat ChineseTraditionalLanguage SocialParty "社交聚會") domainEnglishFormat.kif 53638-53638 Formal meeting is disjoint from social party
(termFormat ChineseLanguage SocialParty "社交聚会") domainEnglishFormat.kif 53639-53639 Formal meeting is disjoint from social party


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners