TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23625-23628
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23629-23629	Le nombre 1 argument de typicalPart est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23630-23630	Le nombre 2 argument de typicalPart est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23622-23622	typicalPart est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23623-23623	typicalPart est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23624-23624	typicalPart est reli� � l'int�rieur de SUMO � 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 est reli� � l'int�rieur de SUMO � typicalPart
No TPTP formula. May not be expressible in strict first order.	Cars.kif 347-347	typicallyContainsPart est reli� � l'int�rieur de SUMO � typicalPart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23750-23750	partTypes est une sous-relation 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 23640-23657	typicalPart objet and objet entit� est une instance de objet objetPROB est probabilit� de entit� entit� est une instance de objet entit� est une partie de entit� nombre r�el est probabilit� de entit� entit� est une instance de objet entit� est une partie de entit� objetPROB est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23632-23638	typicalPart objet and objet objet objet objet est une instance de objet objet est une instance de objet objet est une partie de objet

consequent

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

Biography.kif 436-465

AeronauticalEngineer est un attribut de AutonomousAgent
processus AutonomousAgent a la capacit� de faire processus processus
- processus est une instance de processus
- processus entit� and processusT processus est une instance de faire entit� est une instance de Aircraft entit� est une instance de processusT typicalPart processusT and Aircraft entit� est le resultat de processus processus est un sous-processus de processus processus processusLAN, entit� and processusT processus est une instance de Designing entit� est une instance de Aircraft entit� est une instance de processusT typicalPart processusT and Aircraft processusLAN est le resultat de processus processusLAN d�finie entit� processus est un sous-processus de processus

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2006-2006	typicalPart AirConditioningCompressor and AirConditioner
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2050-2050	typicalPart AirConditioningCondenser and AirConditioner
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2074-2074	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 10782-10782	typicalPart Bicep and Arm
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1559-1559	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 1631-1631	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 10800-10800	typicalPart CalfMuscle and Leg
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3709-3709	typicalPart CarAlarm and SelfPoweredRoadVehicle
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1714-1714	typicalPart CatalyticConverter and AutomobileExhaustSystem
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4970-4970	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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: