TreeView Knowledge Base Browser - Valve

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Valve

Valve

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 910-910
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1283-1283
No TPTP formula. May not be expressible in strict first order.	engineering.kif 911-911
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 850-850	partType Valve and VentedChestSeal
No TPTP formula. May not be expressible in strict first order.	engineering.kif 933-933	partTypes Valve and Faucet
No TPTP formula. May not be expressible in strict first order.	engineering.kif 934-934	partTypes Valve and Tube
No TPTP formula. May not be expressible in strict first order.	engineering.kif 912-912	Valve e' uma sub-classe de Componente de Engenharia
No TPTP formula. May not be expressible in strict first order.	engineering.kif 913-913	Valve e' uma sub-classe de FluidPowerDevice

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1546-1546	BleederValve e' uma sub-classe de Valve
No TPTP formula. May not be expressible in strict first order.	engineering.kif 957-957	DirectionalControlValve e' uma sub-classe de Valve
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2658-2658	ExhaustValve e' uma sub-classe de Valve
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2683-2683	IntakeValve e' uma sub-classe de Valve
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3255-3255	ManifoldHeatControlValve e' uma sub-classe de Valve
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3811-3811	PositiveCrankcaseVentilationValve e' uma sub-classe de Valve
No TPTP formula. May not be expressible in strict first order.	engineering.kif 966-966	PressureControlValve e' uma sub-classe de Valve
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1099-1099	SalineLock e' uma sub-classe de Valve
No TPTP formula. May not be expressible in strict first order.	engineering.kif 976-976	VolumeControlValve e' uma sub-classe de Valve
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61214-61214
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61213-61213
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61212-61212

antecedent

No TPTP formula. May not be expressible in strict first order.

engineering.kif 914-925

Fisico e' uma instancia de Valve
Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Transferencia Fisico e' o caminho ao longo do qual Entidade ocorre Entidade e' um patient de Entidade Fluid e' um atributo de Entidade Entidade e' uma instancia de Processo Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade

consequent

No TPTP formula. May not be expressible in strict first order.	Music.kif 1281-1287	Objeto e' uma instancia de Bugle Objeto Objeto e' uma instancia de Valve Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3013-3018	Objeto e' uma instancia de GreaseFitting Objeto Objeto e' uma instancia de Valve Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3844-3864	Fisico e' uma instancia de RockerArm Fisico tem por fim Entidade Entidade, Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Pushing Entidade e' uma instancia de Cam Entidade e' uma instancia de Pushing Entidade e' uma instancia de Valve Entidade e' uma instancia de Opening Entidade e' uma instancia de FourStrokeEngine Fisico e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade e' um instrumento para Entidade Entidade termina em Fisico Fisico e' um instrumento para Entidade Entidade termina em Entidade Entidade causa Entidade Entidade causa Entidade Entidade e' um patient de Entidade

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