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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Pipeline

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 774-775
(externalImage Pipeline "http://upload.wikimedia.org/wikipedia/en/5/56/Pipeline-small_image%2C_seen_from_below.jpeg") pictureList.kif 874-874
(subclass Pipeline Transitway) Transportation.kif 773-773 管道公交专用道subclass

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


(subclass CrudeOilPipeline Pipeline) Transportation.kif 797-797 原油管道管道subclass
(subclass NaturalGasPipeline Pipeline) Transportation.kif 809-809 天然气管道管道subclass
(subclass PetroleumProductPipeline Pipeline) Transportation.kif 821-821 石油产品管道管道subclass
(subclass SewageSystem Pipeline) Transportation.kif 785-785 排污系统管道subclass
(termFormat ChineseLanguage Pipeline "管道") domainEnglishFormat.kif 45900-45900
(termFormat ChineseTraditionalLanguage Pipeline "管道") domainEnglishFormat.kif 45899-45899
(termFormat EnglishLanguage Pipeline "pipeline") domainEnglishFormat.kif 45898-45898

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


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

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


(<=>
    (totalPipelineInArea ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPE
            (and
                (instance ?PIPE Pipeline)
                (located ?PIPE ?AREA))) ?LENGTH))
Transportation.kif 685-692 长度测量 是 在地区 地理区域total 管线 若且唯若 符号串 所描述的类别 的 length那个 长度测量
(=>
    (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 ?OBJ ?PIPE)
                            (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 8465-8488
(=>
    (and
        (totalPipelineInArea ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?PIPE)
        (and
            (instance ?PIPE Pipeline)
            (located ?PIPE ?AREA))))
Transportation.kif 694-702


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