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. Cars.kif 3543-3570
No TPTP formula. May not be expressible in strict first order. Hotel.kif 815-836
No TPTP formula. May not be expressible in strict first order. Geography.kif 6526-6537
No TPTP formula. May not be expressible in strict first order. Medicine.kif 689-706
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19992-20013
No TPTP formula. May not be expressible in strict first order. Hotel.kif 419-438
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25636-25638
No TPTP formula. May not be expressible in strict first order. Cars.kif 3508-3537
No TPTP formula. May not be expressible in strict first order. Catalog.kif 337-352
No TPTP formula. May not be expressible in strict first order. Catalog.kif 372-387
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. Mid-level-ontology.kif 8512-8526
No TPTP formula. May not be expressible in strict first order. Hotel.kif 364-378
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. Cars.kif 3450-3478
No TPTP formula. May not be expressible in strict first order. Cars.kif 3592-3613
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15995-16009
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. Mid-level-ontology.kif 31651-31660
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2639-2653
No TPTP formula. May not be expressible in strict first order. Catalog.kif 354-370
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1489-1502
No TPTP formula. May not be expressible in strict first order. Catalog.kif 64-76
No TPTP formula. May not be expressible in strict first order. Catalog.kif 51-62
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. Hotel.kif 522-538
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. Hotel.kif 294-313
No TPTP formula. May not be expressible in strict first order. Merge.kif 12149-12161
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4201-4225
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4488-4499
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15977-15984
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10890-10903


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