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 停留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 停留 的 1 数量 是 人类instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14395-14395 停留 的 2 数量 是 暂住instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14392-14392 停留二元谓语instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14391-14391 停留居住subrelation

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