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 14125-14125 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 14128-14129
No TPTP formula. May not be expressible in strict first order. Merge.kif 14126-14126 The number 1 argument of stays is an instance of human
No TPTP formula. May not be expressible in strict first order. Merge.kif 14127-14127 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 14124-14124 stays is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 14123-14123 stays is a subrelation of inhabits

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4647-4647
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4646-4646
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4645-4645
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55185-55185
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55184-55184
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55183-55183

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 334-349
No TPTP formula. May not be expressible in strict first order. Hotel.kif 351-365
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. Mid-level-ontology.kif 19886-19896

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2627-2647
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2654-2670
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2677-2692
No TPTP formula. May not be expressible in strict first order. Hotel.kif 459-470
No TPTP formula. May not be expressible in strict first order. Hotel.kif 374-396
No TPTP formula. May not be expressible in strict first order. Hotel.kif 398-418
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2920-2931
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1007-1013
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1221-1232
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1202-1214
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1020-1028
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2218-2225
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1802-1823


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