Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Steeple
Steeple(steeple)
spire, steeple

appearance as argument number 1
-------------------------


(subclass Steeple StationaryArtifact) Mid-level-ontology.kif 9230-9230 Steeple is a subclass of stationary artifact
(documentation Steeple EnglishLanguage "A component of a ReligiousBuilding that is tall and narrow and symbolizes the connection between humanity and a deity.") Mid-level-ontology.kif 9231-9232 Steeple is a subclass of stationary artifact
(externalImage Steeple "http://upload.wikimedia.org/wikipedia/commons/b/ b4/ Pretzsch_steeple.jpg") pictureList.kif 4827-4827 Steeple is a subclass of stationary artifact

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


(termFormat EnglishLanguage Steeple "steeple") domainEnglishFormat.kif 55273-55273
(termFormat ChineseTraditionalLanguage Steeple "尖頂") domainEnglishFormat.kif 55274-55274
(termFormat ChineseLanguage Steeple "尖顶") domainEnglishFormat.kif 55275-55275

antecedent
-------------------------


(=>
    (instance ?STEEPLE Steeple)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (part ?STEEPLE ?BUILDING))))		 Mid-level-ontology.kif 9234-9239 If X is an instance of steeple, then there exists Y such that Y is an instance of building and X is a part of Y


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners