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



KB Term:  Term intersection
English Word: 

  tags

Sigma KEE - tags
tags

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


(documentation tags EnglishLanguage "(tags ?USER1 ?USER2) means that ?USER1 has made a reference to ?USER2 in a Posting. This term is used specifically on social networking sites, and it is only a tag if both ?USER1 and ?USER2 have accounts on that specific site (e.g., if Sue and Mary have FacebookAccounts but John does not, then Sue can tag Mary and Mary can tag Sue, but neither of them can tag John, even though they may mention him in a post.) Notice that this is an antisymmetric, and not asymmetric, relation because you can tag yourself in a post.") Facebook.kif 543-551
(instance tags BinaryPredicate) Facebook.kif 553-553 tags is an instance of binary predicate
(instance tags AntisymmetricRelation) Facebook.kif 554-554 tags is an instance of antisymmetric relation
(subrelation tags refers) Facebook.kif 555-555 tags is a subrelation of refers
(domain tags 1 InternetUser) Facebook.kif 556-556 The number 1 argument of tags is an instance of internet user
(domain tags 2 InternetUser) Facebook.kif 557-557 The number 2 argument of tags is an instance of internet user

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