Stairway - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Stairway

Stairway(stairway)

flight, flight_of_stairs, flight_of_steps, landing

appearance as argument number 1

(documentation Stairway EnglishLanguage "A StationaryArtifact which allows one to climb, step by step, from one level to another.")	Mid-level-ontology.kif 12756-12757
(externalImage Stairway "http://upload.wikimedia.org/wikipedia/commons/f/ f3/ AtomiumStairwayInside.JPG")	pictureList.kif 4827-4827
(subclass Stairway StationaryArtifact)	Mid-level-ontology.kif 12755-12755	Stairway is a subclass of stationary artifact

appearance as argument number 2

(termFormat ChineseLanguage Stairway "楼梯")	domainEnglishFormat.kif 54865-54865
(termFormat ChineseTraditionalLanguage Stairway "樓梯")	domainEnglishFormat.kif 54864-54864
(termFormat EnglishLanguage Stairway "stairway")	domainEnglishFormat.kif 54863-54863

antecedent

(=> (and (instance ?S Stairway) (part ?S ?B) (instance ?B Building)) (hasPurpose ?S (exists (?L1 ?L2) (and (instance ?L1 BuildingLevel) (instance ?L2 BuildingLevel) (part ?L1 ?B) (part ?L2 ?B) (connects ?S ?L1 ?L2)))))	Mid-level-ontology.kif 12765-12777	If an object is an instance of stairway and the object is a part of another object and the other object is an instance of building, then the object purpose there exist an entity and another entity such that the entity is an instance of building level and the other entity is an instance of building level and the entity is a part of the other object and the other entity is a part of the other object and the object connects the entity and the other entity
(=> (instance ?S Stairway) (and (capability MotionUpward instrument ?S) (capability MotionDownward instrument ?S)))	Mid-level-ontology.kif 12759-12763	If an object is an instance of stairway, then the object is capable of doing motion upward as a instrument and the object is capable of doing motion downward as a instrument

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners