TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Steps EnglishLanguage "A StationaryArtifact which allows one to climb, step by step, from one level to another.")	Mid-level-ontology.kif 15115-15116
(subclass Steps StationaryArtifact)	Mid-level-ontology.kif 15114-15114	Steps is a subclass of stationary artifact

appearance as argument number 2

(termFormat ChineseLanguage Steps "脚步")	domainEnglishFormat.kif 55334-55334
(termFormat ChineseTraditionalLanguage Steps "腳步")	domainEnglishFormat.kif 55333-55333
(termFormat EnglishLanguage Steps "steps")	domainEnglishFormat.kif 55332-55332

antecedent

(=>
    (instance ?STEPS Steps)
    (and
        (capability MotionUpward instrument ?STEPS)
        (capability MotionDownward instrument ?STEPS)))

Mid-level-ontology.kif 15118-15122

If an object is an instance of steps,
then the object is capable of doing motion upward as a instrument and the object is capable of doing motion downward as a instrument

consequent

(=>
    (and
        (instance ?LEVEL1 BuildingLevel)
        (instance ?LEVEL2 BuildingLevel)
        (instance ?BUILDING Building)
        (part ?LEVEL1 ?BUILDING)
        (part ?LEVEL2 ?BUILDING))
    (exists (?STEPS)
        (and
            (instance ?STEPS Steps)
            (connects ?STEPS ?LEVEL1 ?LEVEL2))))

Mid-level-ontology.kif 15124-15134

If an object is an instance of building level and another object is an instance of building level and a third object is an instance of building and the object is a part of the third object and the other object is a part of the third object,
then there exists a fourth object such that the fourth object is an instance of steps and the fourth object connects the object and the other object

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

KB Term:			Term intersection

English Word: