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


KB Term:  Term intersection
English Word: 

  Reminding

 Sigma KEE - Reminding
Reminding(reminding)remind

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


(subclass Reminding Requesting) Mid-level-ontology.kif 833-833 Reminding is a subclass of requesting
(documentation Reminding EnglishLanguage "Any Requesting that is intended to cause a Remembering of something.") Mid-level-ontology.kif 834-835 Reminding is a subclass of requesting

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


(termFormat EnglishLanguage Reminding "reminding") domainEnglishFormat.kif 49455-49455
(termFormat ChineseTraditionalLanguage Reminding "提醒") domainEnglishFormat.kif 49456-49456
(termFormat ChineseLanguage Reminding "提醒") domainEnglishFormat.kif 49457-49457

antecedent
-------------------------


(=>
    (instance ?REMIND Reminding)
    (exists (?REMEMBER)
        (and
            (instance ?REMEMBER Remembering)
            (causes ?REMIND ?REMEMBER))))		 Mid-level-ontology.kif 837-842 If X is an instance of reminding, then there exists Y such that Y is an instance of remembering and X causes Y


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