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 13393-13393 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 13396-13397
No TPTP formula. May not be expressible in strict first order. Merge.kif 13394-13394 The number 1 argument of stays is an instance of human
No TPTP formula. May not be expressible in strict first order. Merge.kif 13395-13395 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 13392-13392 stays is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 13391-13391 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 55196-55196
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55195-55195
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55194-55194

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

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2614-2634
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2641-2657
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2664-2679
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 2907-2918
No TPTP formula. May not be expressible in strict first order. Hotel.kif 994-1000
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1208-1219
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1189-1201
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1007-1015
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2205-2212
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1789-1810


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