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. Hotel.kif 811-832
No TPTP formula. May not be expressible in strict first order. Economy.kif 5267-5276
No TPTP formula. May not be expressible in strict first order. Hotel.kif 281-292
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2737-2746
No TPTP formula. May not be expressible in strict first order. Hotel.kif 396-417
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18448-18469
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2019-2024
No TPTP formula. May not be expressible in strict first order. Economy.kif 5258-5265
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1478-1491
No TPTP formula. May not be expressible in strict first order. Catalog.kif 98-107
No TPTP formula. May not be expressible in strict first order. Hotel.kif 294-313
No TPTP formula. May not be expressible in strict first order. Hotel.kif 504-520
No TPTP formula. May not be expressible in strict first order. Hotel.kif 346-361
No TPTP formula. May not be expressible in strict first order. Catalog.kif 139-150
No TPTP formula. May not be expressible in strict first order. Geography.kif 2271-2278
No TPTP formula. May not be expressible in strict first order. Merge.kif 846-846 Objeto e' uma sub-classe de Fisico
No TPTP formula. May not be expressible in strict first order. Weather.kif 2051-2051 TornadoDamage e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2096-2096 Shrapnel e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4792-4792 TwoDimensionalObject e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15277-15277 TransitwayObstacle e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24610-24610 ContactSite e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25644-25644 SphericalObject e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order. Merge.kif 862-862 Objeto auto-conectado e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order. Merge.kif 1251-1251 Regiao e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order. Merge.kif 1261-1261 Colecao e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order. Merge.kif 1556-1556 AutonomousAgent e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order. Merge.kif 14068-14068 Corpo Astronomico e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order. Merge.kif 15727-15727 Artefato e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order. Cars.kif 3851-3851 Magnet e' uma sub-classe de Objeto


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