Fluid - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Fluid

Fluid(fluid)

appearance as argument number 1

(documentation Fluid ChineseLanguage "Fluid 是一个没有固定形状 Object 的 PhysicalState 属性，它因此是流动的或是随着容器的形状定型。")	chinese_format.kif 3926-3927
(documentation Fluid EnglishLanguage "Fluid is the PhysicalState attribute of an Object that does not have a fixed shape and thus tends to flow or to conform to the shape of a container.")	Merge.kif 16320-16322
(externalImage Fluid "http://upload.wikimedia.org/wikipedia/commons/1/1b/ Shock_sink.jpg")	pictureList.kif 6522-6522
(externalImage Fluid "http://upload.wikimedia.org/wikipedia/commons/a/a8/ BernoullisLawDerivationDiagram.png")	pictureList.kif 6017-6017
(externalImage Fluid "http://upload.wikimedia.org/wikipedia/commons/b/b1/ FluidPhysics-Wake.jpg")	pictureList.kif 6521-6521
(instance Fluid PhysicalState)	Merge.kif 16319-16319	Fluid is an instance of physical state

appearance as argument number 2

(subAttribute Gas Fluid)	Merge.kif 16334-16334	Gas is a subattribute of fluid
(subAttribute Liquid Fluid)	Merge.kif 16325-16325	Liquid is a subattribute of fluid
(subAttribute Plasma Fluid)	Merge.kif 16346-16346	Plasma is a subattribute of fluid
(termFormat ChineseLanguage Fluid "流体")	domainEnglishFormat.kif 24289-24289
(termFormat ChineseTraditionalLanguage Fluid "流體")	domainEnglishFormat.kif 24288-24288
(termFormat EnglishLanguage Fluid "fluid")	domainEnglishFormat.kif 24287-24287

appearance as argument number 3

(exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas Plasma)

Merge.kif 16307-16307

Solid are all the attributes of physical state

antecedent

(=> (and (instance ?AS AutomobileShock) (instance ?C Compressing) (instance ?H Hole) (attribute ?F Fluid) (equal ?AS (HoleHostFn ?H)) (contains ?AS ?F) (patient ?C ?AS)) (exists (?T) (and (instance ?T Transfer) (objectTransferred ?T ?F) (path ?T ?H) (causes ?C ?T))))	Cars.kif 862-876	If a self connected object is an instance of shock and a process is an instance of compressing and a hole is an instance of hole and fluid is an attribute of an object and the self connected object is equal to the host of the hole the hole and the self connected object は the object を contains %n{ない} and the self connected object is a patient of the process, then there exists a transfer such that the transfer is an instance of transfer and the object transferred in the transfer is the object and the hole is path along which the transfer occurs and the process causes the transfer
(=> (and (instance ?P SwimmingPool) (contains ?P ?F) (instance ?F Fluid)) (instance ?F Water))	Mid-level-ontology.kif 5051-5056	If a self connected object is an instance of swimming pool and the self connected object は an object を contains %n{ない} and the object is an instance of fluid, then the object is an instance of water

consequent

(=> (and (instance ?FR FlowRegion) (located ?FLUID ?FR)) (attribute ?FLUID Fluid))	Mid-level-ontology.kif 8783-8787	If an object is an instance of flow region and another object is located at the object, then fluid is an attribute of the other object
(=> (and (instance ?PIPE Pipeline) (instance ?MOTION Motion) (instrument ?MOTION ?PIPE) (patient ?MOTION ?STUFF)) (instance ?STUFF (ExtensionFn Fluid)))	Transportation.kif 766-772	If an object is an instance of pipeline and a process is an instance of motion and the object is an instrument for the process and an entity is a patient of the process, then the entity is an instance of the class corresponding to fluid
(=> (and (instance ?T Transportation) (instrument ?T ?D) (instance ?D Pump)) (exists (?F) (and (instrument ?T ?F) (attribute ?F Fluid))))	Mid-level-ontology.kif 13135-13143	If a process is an instance of transportation and an object is an instrument for the process and the object is an instance of pump, then there exists another object such that the other object is an instrument for the process and fluid is an attribute of the other object
(=> (and (instance ?TANK FluidContainer) (contains ?TANK ?STUFF)) (attribute ?STUFF Fluid))	Mid-level-ontology.kif 5002-5006	If a self connected object is an instance of fluid container and the self connected object は an object を contains %n{ない}, then fluid is an attribute of the object
(=> (instance ?SHIP SpecializedTankerShip) (cargoType ?SHIP (ExtensionFn Fluid)))	Transportation.kif 2417-2419	If a transportation device is an instance of specialized tanker ship, then the class corresponding to fluid is a cargo type of the transportation device
(=> (instance ?STUFF Effluent) (attribute ?STUFF Fluid))	Geography.kif 2611-2613	If an object is an instance of effluent, then fluid is an attribute of the object
(=> (instance ?T Tube) (hasPurpose ?T (exists (?P ?OBJ) (and (instance ?P Transfer) (path ?P ?T) (patient ?P ?OBJ) (attribute ?OBJ Fluid)))))	Mid-level-ontology.kif 1931-1939	If a physical is an instance of tube, then the physical purpose there exist an entity and another entity such that the entity is an instance of transfer and the physical is path along which the entity occurs and the other entity is a patient of the entity and fluid is an attribute of the other entity
(=> (instance ?V Valve) (hasPurpose ?V (exists (?FLUID ?PROC ?FLOW) (and (instance ?FLOW Transfer) (path ?FLOW ?V) (patient ?FLOW ?FLUID) (attribute ?FLUID Fluid) (instance ?PROC Process) (instrument ?PROC ?V) (patient ?PROC ?FLOW)))))	engineering.kif 912-923	If a physical is an instance of valve, then the physical purpose there exist an entity, another entity and a third entity such that the third entity is an instance of transfer and the physical is path along which the third entity occurs and the entity is a patient of the third entity and fluid is an attribute of the entity and the other entity is an instance of process and the physical is an instrument for the other entity and the third entity is a patient of the other entity

statement

(domain flows 1 (ExtensionFn Fluid))	Geography.kif 5104-5104	The number 1 argument of flows is an instance of the class corresponding to fluid
(domain flows 2 (ExtensionFn Fluid))	Geography.kif 5105-5105	The number 2 argument of flows is an instance of the class corresponding to fluid
(subclass Atmosphere (ExtensionFn Fluid))	Weather.kif 11-11	Atmosphere is a subclass of the class corresponding to fluid

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