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


KB Term:  Term intersection
English Word: 

  Greeting

 Sigma KEE - Greeting
Greeting(greeting)greet, greeting, present, receive, recognise, recognize, salutation, salute, welcome

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


(subclass Greeting Expressing) Mid-level-ontology.kif 14722-14722 Greeting is a subclass of expressing
(documentation Greeting EnglishLanguage "Any instance of Expressing an acknowledgment of a person's arrival. Note that this class is not a subclass of ExpressingInLanguage, because it covers gestures of greeting, e.g. Waving and Nodding in certain circumstances.") Mid-level-ontology.kif 14723-14726 Greeting is a subclass of expressing

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


(termFormat EnglishLanguage Greeting "greeting") domainEnglishFormat.kif 26618-26618
(termFormat ChineseTraditionalLanguage Greeting "歡迎") domainEnglishFormat.kif 26619-26619
(termFormat ChineseLanguage Greeting "欢迎") domainEnglishFormat.kif 26620-26620

consequent
-------------------------


(=>
    (instance ?CHECK CheckInService)
    (exists (?AGENT ?CUST ?GREET ?SERVICE)
        (and
            (customer ?CUST ?AGENT)
            (serviceProvider ?CHECK ?AGENT)
            (instance ?GREET Greeting)
            (agent ?GREET ?CUST)
            (destination ?GREET ?AGENT)
            (subProcess ?GREET ?CHECK)
            (instance ?SERVICE Process)
            (agent ?SERVICE ?AGENT)
            (causes ?CHECK ?SERVICE))))		 Hotel.kif 2172-2184 If X is an instance of check-in service, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is a customer of Z (3) Y provides a service during X (4) W is an instance of greeting (5) Z is an agent of W (6) W ends up at Y (7) W is a subprocess of X (8) V is an instance of process (9) Y is an agent of V (10) X causes V


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