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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Sewage
Sewage

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


(documentation Sewage EnglishLanguage "The byproduct of Animal digestion. Sewage is a waste product that is removed from the body of an animal by a normally functioning BiologicalProcess. Sewage consists largely of substances which the animal cannot digest, or may be harmful, so the breakdown of the biological waste removal process can be evidence or cause of a DiseaseOrSyndrome.") Mid-level-ontology.kif 2155-2160
(roomTempState Sewage Liquid) Mid-level-ontology.kif 31649-31649 roomTempState Sewage and Liquid
(subclass Sewage Mixture) Mid-level-ontology.kif 2153-2153 Sewage est une sous-classe de mixture

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


(termFormat ChineseLanguage Sewage "污水") domainEnglishFormat.kif 52359-52359
(termFormat ChineseTraditionalLanguage Sewage "污水") domainEnglishFormat.kif 52358-52358
(termFormat EnglishLanguage Sewage "sewage") domainEnglishFormat.kif 52357-52357

consequent
-------------------------


(=>
    (and
        (instance ?ANI Animal)
        (instance ?D DiseaseOrSyndrome)
        (not
            (attribute ?ANI ?D)))
    (exists (?P ?W)
        (and
            (instance ?P BiologicalProcess)
            (instance ?P Removing)
            (origin ?P ?ANI)
            (instance ?W Sewage)
            (agent ?P ?ANI)
            (objectTransferred ?P ?W))))
Mid-level-ontology.kif 2162-2175
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG Utilities))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (or
                        (instance ?EV Removing)
                        (instance ?THING Sewage))
                    (patient ?EV ?THING)
                    (or
                        (instance ?THING Electron)
                        (instance ?THING Water)
                        (and
                            (instance ?THING PureSubstance)
                            (capability Combustion patient ?THING)))
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 FinancialTransaction)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 954-977
(=>
    (and
        (instance ?T Transportation)
        (patient ?T ?S)
        (instrument ?T ?SS)
        (instance ?SS SewageSystem))
    (instance ?S Sewage))
Transportation.kif 789-795


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 is open source software produced by Articulate Software and its partners