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 14546-14546 stays and home are disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3377-3378 stays and home are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 14549-14550 stays and home are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 14547-14547 The number 1 argument of stays is an instance of human
No TPTP formula. May not be expressible in strict first order. Merge.kif 14548-14548 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 14545-14545 stays is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 14544-14544 stays is a subrelation of inhabits

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4642-4642
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4641-4641
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4640-4640
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55210-55210
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55209-55209
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55208-55208

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 22185-22195

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2665-2685
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2692-2708
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2715-2730
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 2962-2974
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1037-1043
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1251-1262
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1232-1244
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1050-1058
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2256-2263
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1838-1859


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