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 15703-15703 Artefato e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2511-2511 ShipsHull e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2515-2515 ShipDeck e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2559-2559 ShipCompartment e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2929-2929 TransitShelter e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. naics.kif 1830-1830 TobaccoProduct e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1609-1609 Armor e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1468-1468 Shield e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1501-1501 Mast e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1523-1523 Tube e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1537-1537 PhotographicFilm e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1541-1541 PictureFrame e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1555-1555 Shelf e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3353-3353 DisplayArtifact e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3373-3373 Wheel e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3432-3432 VehicleTire e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3560-3560 Paper e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3607-3607 Wire e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3650-3650 String e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3659-3659 Plug e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3668-3668 Pottery e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3678-3678 Pillow e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3682-3682 Mirror e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3690-3690 Furniture e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4029-4029 Mattress e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4049-4049 BedFrame e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4122-4122 BedLinen e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4250-4250 BoatDeck e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4741-4741 BoardOrBlock e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4765-4765 Veneer e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5196-5196 ShoeSole e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5685-5685 Bandage e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6755-6755 MobileResidence e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6990-6990 AnimalResidence e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15108-15108 Ladder e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15170-15170 Window e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15211-15211 WindowCovering e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16975-16975 GameArtifact e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17828-17828 MilitaryArtifact e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26330-26330 Sail e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26375-26375 Document e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26465-26465 GrabBar e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Merge.kif 15383-15383 Texto e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Merge.kif 15714-15714 Produto e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Merge.kif 15743-15743 Artefato Estacionario e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Merge.kif 15861-15861 Objeto de Arte e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Merge.kif 15901-15901 Tecido e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Merge.kif 15910-15910 WearableItem e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Merge.kif 15961-15961 Aparelho e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Geography.kif 2633-2633 WaterCatchment e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Geography.kif 5625-5625 Reservoir e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Geography.kif 5701-5701 IrrigationChannel e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Food.kif 326-326 WetBar e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Cars.kif 291-291 Piston e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Cars.kif 307-307 EngineCylinder e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Cars.kif 4390-4390 Chain e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Cars.kif 4432-4432 ChainLink e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Cars.kif 4697-4697 InteriorVehicleEquipment e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Cars.kif 5036-5036 VehicleSeat e' uma sub-classe de Artefato


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