typicalPart - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23624-23627
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23628-23628	O argumento numero 1 de typicalPart e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23629-23629	O argumento numero 2 de typicalPart e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23621-23621	typicalPart e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23622-23622	typicalPart e' uma instancia de Relacao Espacial
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23623-23623	typicalPart e' relacionado internamente por SUMO a part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4850-4850
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4849-4849
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4848-4848
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1434-1434	typicalTemporalPart e' relacionado internamente por SUMO a typicalPart
No TPTP formula. May not be expressible in strict first order.	Cars.kif 347-347	typicallyContainsPart e' relacionado internamente por SUMO a typicalPart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23749-23749	partTypes e' uma sub-relacao de typicalPart
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59756-59756
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59755-59755
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59754-59754

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23639-23656	typicalPart Objeto and Objeto Entidade e' uma instancia de Objeto ObjetoPROB e' igual a a probabilidade de Entidade Entidade e' uma instancia de Objeto Entidade e' uma &parte de Entidade Numero Real e' igual a a probabilidade de Entidade Entidade e' uma instancia de Objeto Entidade e' uma &parte de Entidade ObjetoPROB e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23631-23637	typicalPart Objeto and Objeto Objeto Objeto Objeto e' uma instancia de Objeto Objeto e' uma instancia de Objeto Objeto e' uma &parte de Objeto

consequent

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

Biography.kif 436-465

AeronauticalEngineer e' um atributo de AutonomousAgent
Processo AutonomousAgent tem a capacidade de fazer Processo Processo
- Processo e' uma instancia de Processo
- Processo Entidade and ProcessoT Processo e' uma instancia de Fazer Entidade e' uma instancia de Aircraft Entidade e' uma instancia de ProcessoT typicalPart ProcessoT and Aircraft Entidade e' o resultado de Processo Processo e' um sub-processo de Processo Processo ProcessoLAN, Entidade and ProcessoT Processo e' uma instancia de Designing Entidade e' uma instancia de Aircraft Entidade e' uma instancia de ProcessoT typicalPart ProcessoT and Aircraft ProcessoLAN e' o resultado de Processo ProcessoLAN define Entidade Processo e' um sub-processo de Processo

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2012-2012	typicalPart AirConditioningCompressor and AirConditioner
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2056-2056	typicalPart AirConditioningCondenser and AirConditioner
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2080-2080	typicalPart AirConditioningEvaporator and AirConditioner
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1211-1211	typicalPart Alternator and Vehicle
No TPTP formula. May not be expressible in strict first order.	Cars.kif 727-727	typicalPart AutoSuspensionSystem and Automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 840-840	typicalPart AutomobileShock and AutoSuspensionSystem
No TPTP formula. May not be expressible in strict first order.	Cars.kif 868-868	typicalPart AutomobileShock and Automobile
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1070-1070	typicalPart Base and BjtTransistor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10781-10781	typicalPart Bicep and Arm
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1564-1564	typicalPart BrakeCaliper and BrakeSystem
No TPTP formula. May not be expressible in strict first order.	Cars.kif 675-675	typicalPart BrakeCaliper and VehicleBrake
No TPTP formula. May not be expressible in strict first order.	Cars.kif 669-669	typicalPart BrakeDrum and DrumBrake
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1637-1637	typicalPart BrakeMasterCylinder and BrakeSystem
No TPTP formula. May not be expressible in strict first order.	Cars.kif 655-655	typicalPart BrakePad and DiscBrake
No TPTP formula. May not be expressible in strict first order.	Cars.kif 663-663	typicalPart BrakeRotor and DiscBrake
No TPTP formula. May not be expressible in strict first order.	Cars.kif 600-600	typicalPart BrakeShoe and DrumBrake
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1237-1237	typicalPart BrakeSystem and Automobile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10799-10799	typicalPart CalfMuscle and Leg
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3717-3717	typicalPart CarAlarm and SelfPoweredRoadVehicle
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1720-1720	typicalPart CatalyticConverter and AutomobileExhaustSystem
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4978-4978	typicalPart ChevroletEngine and ChevroletAutomobile
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1075-1075	typicalPart Collector and BjtTransistor
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 247-247	typicalPart ComputerKeyboardKey and ComputerKeyboard_Generic
No TPTP formula. May not be expressible in strict first order.	Cars.kif 341-341	typicalPart Crankshaft and Crankcase
No TPTP formula. May not be expressible in strict first order.	Cars.kif 338-338	typicalPart Crankshaft and IntermittentCombustionEngine

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: