Downstairs - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19234-19235
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5965-5965
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6384-6384
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6386-6386
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6387-6387
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6388-6388
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6389-6389
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6390-6390
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6391-6391
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6392-6392
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6393-6393
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6394-6394
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6395-6395
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6396-6396
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6397-6397
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6398-6398
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19233-19233	Downstairs is an instance of positional attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20262-20262
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20261-20261
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20260-20260
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 541-541

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 19237-19248

If an object is downstairs to another object,
then there exist a third object, a fourth object and a fifth object such that the third object is an instance of building level and the fourth object is an instance of building level and the fifth object is an instance of building and the third object is a part of the fifth object and the fourth object is a part of the fifth object and the object is located at the third object and the other object is located at the fourth object and the third object is below to the fourth object

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

KB Term:			Term intersection

English Word: