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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FireSprinklerSystem

 Sigma KEE - FireSprinklerSystem
FireSprinklerSystem

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


(documentation FireSprinklerSystem EnglishLanguage "FireSprinklerSystem is a Collection of Devices that allow water to be released when a Fire is detected") Mid-level-ontology.kif 25452-25453
(subclass FireSprinklerSystem Collection) Mid-level-ontology.kif 25451-25451 FireSprinklerSystem est une sous-classe de collection

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


(termFormat EnglishLanguage FireSprinklerSystem "sprinkler system") Mid-level-ontology.kif 25454-25454

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


(=>
    (instance ?X FireSprinklerSystem)
    (exists (?DETECT ?SPRINKLER)
        (and
            (instance ?DETECT SmokeDetector)
            (instance ?SPRINKLER WaterSprinkler)
            (member ?DETECT ?X)
            (member ?SPRINKLER ?X))))		 Mid-level-ontology.kif 25456-25463
(=>
    (instance ?X FireSprinklerSystem)
    (exists (?FIRE ?DISCOVER ?WM)
        (and
            (instance ?DISCOVER Discovering)
            (instance ?FIRE Fire)
            (instrument ?DISCOVER ?X)
            (patient ?DISCOVER ?FIRE)
            (instance ?WM WaterMotion)
            (origin ?WM ?X)
            (causes ?DISCOVER ?WM))))		 Mid-level-ontology.kif 25465-25475


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