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 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 Pipeline est une sous-classe de Transitway

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


(subclass CrudeOilPipeline Pipeline) Transportation.kif 797-797 CrudeOilPipeline est une sous-classe de Pipeline
(subclass NaturalGasPipeline Pipeline) Transportation.kif 809-809 NaturalGasPipeline est une sous-classe de Pipeline
(subclass PetroleumProductPipeline Pipeline) Transportation.kif 821-821 PetroleumProductPipeline est une sous-classe de Pipeline
(subclass SewageSystem Pipeline) Transportation.kif 785-785 SewageSystem est une sous-classe de Pipeline
(termFormat ChineseLanguage Pipeline "管道") domainEnglishFormat.kif 45902-45902 SewageSystem est une sous-classe de Pipeline
(termFormat ChineseTraditionalLanguage Pipeline "管道") domainEnglishFormat.kif 45901-45901 SewageSystem est une sous-classe de Pipeline
(termFormat EnglishLanguage Pipeline "pipeline") domainEnglishFormat.kif 45900-45900 SewageSystem est une sous-classe de Pipeline

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 totalPipelineInArea secteur g�ographique and mesure de longueur le longueur de la classe d�crite par cha�ne sympbolique est mesure de longueur
(=>
    (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 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