Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Merge.kif 16011-16011 Aparelho e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3253-3253 CanalLockGate e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3255-3255 TrafficLight e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2015-2015 Barricade e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1310-1310 Lever e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1715-1715 Transducer e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1875-1875 Aerator e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1913-1913 BrushOrComb e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1927-1927 MatchDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1990-1990 WritingDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2002-2002 SmokingDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2191-2191 Toilet e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2241-2241 Tableware e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2253-2253 Compass e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2264-2264 MajorAppliance e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2275-2275 CoolingDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2298-2298 HeatingDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2367-2367 RecreationOrExerciseDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2378-2378 Toy e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2431-2431 WalkingCane e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2443-2443 WashingDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2455-2455 MaterialHandlingEquipment e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2486-2486 OpticalDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2512-2512 Filter e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2526-2526 FileDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2535-2535 ElectricDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2558-2558 PowerSource e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2652-2652 SecurityDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2727-2727 AnimalController e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2742-2742 SelfPoweredDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2755-2755 AnimalPoweredDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2843-2843 Baton e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3007-3007 LightFixture e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3245-3245 PaintingDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3377-3377 VehicleController e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3528-3528 Axle e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4000-4000 Lid e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4186-4186 Screwdriver e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4201-4201 Hammer e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4270-4270 WasherForBolt e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4307-4307 Holder e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5582-5582 CleaningDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13340-13340 Camera e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15061-15061 Chimney e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15283-15283 Door e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15381-15381 Fireplace e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17868-17868 ExplosiveDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22046-22046 CuttingDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24112-24112 ContraceptiveDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25254-25254 IroningBoard e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25420-25420 DryingDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25476-25476 SmokeDetector e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25491-25491 Sprinkler e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25535-25535 FireExtinguisher e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25651-25651 DataStorageDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25849-25849 KnockLight e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25938-25938 ElectricalOutlet e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25995-25995 OutletAdapter e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26081-26081 Earphone e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26278-26278 AudioRecorder e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26470-26470 TelephoneHandset e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26485-26485 FireAlarm e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26736-26736 Tripod e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29428-29428 VehicleDoor e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30809-30809 Carabiner e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Merge.kif 16029-16029 Instrumento Musical e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Merge.kif 16037-16037 Veiculo de Transporte e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Merge.kif 16072-16072 MeasuringDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Merge.kif 16084-16084 AttachingDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Merge.kif 16095-16095 Arma e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Merge.kif 16113-16113 Maquina e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Merge.kif 16128-16128 Componente de Engenharia e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Medicine.kif 661-661 MedicalDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1360-1360 InternetAccessPoint e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. engineering.kif 753-753 Pendulum e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. engineering.kif 776-776 Spring e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. engineering.kif 880-880 TransferSwitch e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Economy.kif 5160-5160 HeatSealer e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3758-3758 LaptopScreenPart e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3775-3775 LaptopKeyboardPart e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 112-112 Keyboard e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 475-475 SpeakerDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Communications.kif 59-59 TelephoneCradle e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 538-538 Brake e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 582-582 WearingFrictionSurface e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 660-660 BrakeRotor e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 666-666 BrakeDrum e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 672-672 BrakeCaliper e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 677-677 BrakePedal e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 770-770 Damper e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 1105-1105 FuelAtomizer e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 1309-1309 EngineChoke e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 1404-1404 BallBearing e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 1640-1640 Cam e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 1701-1701 CombustionChamber e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 1791-1791 Clutch e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 1950-1950 EngineConnectingRod e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 2250-2250 Distributor e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 2293-2293 Drivebelt e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 2517-2517 GasPedal e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 2596-2596 AutomobileMuffler e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 2602-2602 ExhaustManifold e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 2815-2815 Gasket e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 2887-2887 SpeedGovernor e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 2989-2989 GreaseFitting e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 3013-3013 GreaseGun e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 3194-3194 JumperCable e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 3335-3335 SafetyDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 3821-3821 RockerArm e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 4100-4100 Rod e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 4130-4130 Wrench e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 4186-4186 MechanicalTap e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 4200-4200 MechanicalDie e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 4253-4253 Reel e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 4301-4301 WheelChock e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 4423-4423 TireChain e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 4465-4465 UnpoweredDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 4649-4649 VehicleRoofRack e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 4765-4765 Tire e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 4791-4791 WheelRim e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order. Cars.kif 4855-4855 TireChanger e' uma sub-classe de Aparelho


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