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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Pipeline
Pipeline(pipeline)
Alaskan_pipeline, gas_line, line, oil_pipeline, pipage, pipe, pipeline, piping, trans-Alaska_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 "http://upload.wikimedia.org/wikipedia/en/5/56/Pipeline-small_image%2C_seen_from_below.jpeg" is a URL depicting pipeline
(subclass Pipeline Transitway) Transportation.kif 762-762 Pipeline is a subclass of transitway

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


(subclass CrudeOilPipeline Pipeline) Transportation.kif 786-786 Crude oil pipeline is a subclass of pipeline
(subclass NaturalGasPipeline Pipeline) Transportation.kif 798-798 Natural gas pipeline is a subclass of pipeline
(subclass PetroleumProductPipeline Pipeline) Transportation.kif 810-810 Petroleum product pipeline is a subclass of pipeline
(subclass SewageSystem Pipeline) Transportation.kif 774-774 Sewage system is a subclass of pipeline
(termFormat ChineseLanguage Pipeline "管道") domainEnglishFormat.kif 45835-45835 "管道" is the printable form of pipeline in ChineseLanguage
(termFormat ChineseTraditionalLanguage Pipeline "管道") domainEnglishFormat.kif 45834-45834 "管道" is the printable form of pipeline in ChineseTraditionalLanguage
(termFormat EnglishLanguage Pipeline "pipeline") domainEnglishFormat.kif 45833-45833 "pipeline" is the printable form of pipeline in english language

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 A length measure is a total pipeline in area of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(=>
    (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