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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - stays
stays

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14299-14299 stays and home are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 14304-14305
No TPTP formula. May not be expressible in strict first order. Merge.kif 14302-14303
No TPTP formula. May not be expressible in strict first order. Merge.kif 14300-14300 The number 1 argument of stays is an instance of human
No TPTP formula. May not be expressible in strict first order. Merge.kif 14301-14301 The number 2 argument of stays is an instance of temporary residence
No TPTP formula. May not be expressible in strict first order. Merge.kif 14298-14298 stays is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 14297-14297 stays is a subrelation of inhabits

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1170-1170
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9629-9629 "stays" is the printable form of stays in english language

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 333-348
No TPTP formula. May not be expressible in strict first order. Hotel.kif 350-363
No TPTP formula. May not be expressible in strict first order. Hotel.kif 289-308

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 452-463
No TPTP formula. May not be expressible in strict first order. Hotel.kif 372-392
No TPTP formula. May not be expressible in strict first order. Hotel.kif 394-411
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2887-2898
No TPTP formula. May not be expressible in strict first order. Hotel.kif 982-988
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1190-1201
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1171-1183
No TPTP formula. May not be expressible in strict first order. Hotel.kif 995-1003
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2186-2193
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1771-1792


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



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