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


KB Term:  Term intersection
English Word: 

  Steeple

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