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

Formal Language: 



KB Term:  Term intersection
English Word: 

  guest

Sigma KEE - guest
guest

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


s__documentation(s__guest__m,s__EnglishLanguage,'guest refers to the customer living in a TemporaryResidence for the duration of his stay there')

Hotel.kif 57-58
s__domain(s__guest__m,1,s__CognitiveAgent)

Hotel.kif 61-61
s__domain(s__guest__m,2,s__CognitiveAgent)

Hotel.kif 62-62
s__instance(s__BinaryPredicate,s__SetOrClass)

Hotel.kif 56-56
s__subrelation(s__guest__m,s__customer__m)

Hotel.kif 55-55

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


s__format(s__EnglishLanguage,s__guest__m,'%1 is a guest at %2')

domainEnglishFormat.kif 901-901
s__termFormat(s__EnglishLanguage,s__guest__m,'guest')

Hotel.kif 59-59

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 653-664
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1466-1479
No TPTP formula. May not be expressible in strict first order. Hotel.kif 289-308
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1502-1522

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2595-2615
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2622-2638
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2645-2660
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1502-1522
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2682-2693
No TPTP formula. May not be expressible in strict first order. Hotel.kif 64-70


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners