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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Pipeline
Pipeline

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


(documentation Pipeline EnglishLanguage "Pipeline is the class of Transitways used to transport various kinds of fluids.") Transportation.kif 763-764
(externalImage Pipeline "http://upload.wikimedia.org/wikipedia/en/5/56/Pipeline-small_image%2C_seen_from_below.jpeg") pictureList.kif 875-875 externalImage Pipeline and "http://upload.wikimedia.org/wikipedia/en/5/56/Pipeline-small_image%2C_seen_from_below.jpeg"
(subclass Pipeline Transitway) Transportation.kif 762-762 subclass Pipeline and Transitway

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


(subclass CrudeOilPipeline Pipeline) Transportation.kif 786-786 subclass CrudeOilPipeline and Pipeline
(subclass NaturalGasPipeline Pipeline) Transportation.kif 798-798 subclass NaturalGasPipeline and Pipeline
(subclass PetroleumProductPipeline Pipeline) Transportation.kif 810-810 subclass PetroleumProductPipeline and Pipeline
(subclass SewageSystem Pipeline) Transportation.kif 774-774 subclass SewageSystem and Pipeline
(termFormat ChineseLanguage Pipeline "管道") domainEnglishFormat.kif 45835-45835 termFormat ChineseLanguage, Pipeline and "管道"
(termFormat ChineseTraditionalLanguage Pipeline "管道") domainEnglishFormat.kif 45834-45834 termFormat ChineseTraditionalLanguage, Pipeline and "管道"
(termFormat EnglishLanguage Pipeline "pipeline") domainEnglishFormat.kif 45833-45833 termFormat EnglishLanguage, Pipeline and "pipeline"

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


(=>
    (and
        (instance ?PIPE Pipeline)
        (instance ?MOTION Motion)
        (instrument ?MOTION ?PIPE)
        (patient ?MOTION ?STUFF))
    (instance ?STUFF
        (ExtensionFn Fluid)))
Transportation.kif 766-772

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


(<=>
    (totalPipelineInArea ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPE
            (and
                (instance ?PIPE Pipeline)
                (located ?PIPE ?AREA))) ?LENGTH))
Transportation.kif 674-681 totalPipelineInArea GeographicArea and LengthMeasure length KappaFn SymbolicString and instance SymbolicString and Pipeline located SymbolicString and GeographicArea and LengthMeasure
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG PipelineTransportation))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?T ?V)
                            (and
                                (instance ?T Transportation)
                                (possesses ?P ?OBJ)
                                (patient ?T ?OBJ)
                                (instance ?OBJ Substance)
                                (possesses ?ORG ?V)
                                (instrument ?T ?PIPE)
                                (instance ?PIPE Pipeline))) ?MEM ?P))))))
naics.kif 8388-8411
(=>
    (and
        (totalPipelineInArea ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?PIPE)
        (and
            (instance ?PIPE Pipeline)
            (located ?PIPE ?AREA))))
Transportation.kif 683-691


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners