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

Formal Language: 



KB Term:  Term intersection
English Word: 

  stays

Sigma KEE - stays
stays

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14393-14393 stays and home are disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3377-3378
No TPTP formula. May not be expressible in strict first order. Merge.kif 14396-14397
No TPTP formula. May not be expressible in strict first order. Merge.kif 14394-14394 The number 1 argument of stays is an instance of human
No TPTP formula. May not be expressible in strict first order. Merge.kif 14395-14395 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 14392-14392 stays is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 14391-14391 stays is a subrelation of inhabits

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4638-4638
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4637-4637
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4636-4636
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55206-55206
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55205-55205
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55204-55204

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 346-361
No TPTP formula. May not be expressible in strict first order. Hotel.kif 364-378
No TPTP formula. May not be expressible in strict first order. Hotel.kif 294-313
No TPTP formula. May not be expressible in strict first order. Hotel.kif 396-417
No TPTP formula. May not be expressible in strict first order. Hotel.kif 419-438
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20568-20578

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2654-2674
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2681-2697
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2704-2719
No TPTP formula. May not be expressible in strict first order. Hotel.kif 479-490
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2951-2963
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1029-1035
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1243-1254
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1224-1236
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1042-1050
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2245-2252
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1827-1848


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 is open source software produced by Articulate Software and its partners