TreeView Knowledge Base Browser

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 45902-45902
(termFormat ChineseTraditionalLanguage Pipeline "管道")	domainEnglishFormat.kif 45901-45901
(termFormat EnglishLanguage Pipeline "pipeline")	domainEnglishFormat.kif 45900-45900

antecedent

(=>
    (and
        (instance ?PIPE Pipeline)
        (instance ?MOTION Motion)
        (instrument ?MOTION ?PIPE)
        (patient ?MOTION ?STUFF))
    (instance ?STUFF
        (ExtensionFn Fluid)))

Transportation.kif 777-783

如果客体是管道的 instance 和过程是运动的 instance 和那个客体是导致那个过程的 instrument 和实体是那个过程的 patient，
然后那个实体是和流体对应的 Class 的 instance

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	如果群体是机构的 instance 和管道运输是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在有认知的主事这样那个施事体是出售的 instance 和那个有认知的主事是人类的 instance 和那个有认知的主事是那个施事体的 patient 和那个过程允许那个有认知的主事执行有存在实体，另一个实体,，，第三实体， and 和那个有认知的主事IPE 这样那个实体是运输的 instance 和那个有认知的主事 possesses 那个第三实体和那个第三实体是那个实体的 patient 和那个第三实体是物质的 instance 和那个群体 possesses 那个另外实体和那个有认知的主事IPE 是导致那个实体的 instrument 和那个有认知的主事IPE 是管道的 instance 的任务
(=> (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	如果实数测量单位是在地区地理区域的 total 管线和那个测量单位是 UnitOfLength 的 instance 和那个实数是 greaterThan 0，然后有存在物理这样那个物理是管道的 instance 和那个物理是 located 在那个地理区域

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

KB Term:			Term intersection

English Word: