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. Mid-level-ontology.kif 30054-30084
No TPTP formula. May not be expressible in strict first order. Merge.kif 1251-1251 R�gion est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order. Weather.kif 10-10 Atmosphere est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 535-535 HydrophobicSide est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 546-546 HydrophilicSide est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 31-31 ParkingRegion est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3104-3104 TransitStop est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3172-3172 TransitRoute est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9070-9070 FlowRegion est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9094-9094 SpaceRegion est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9156-9156 Outdoors est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9168-9168 Indoors est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15555-15555 SittingArea est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15568-15568 KitchenArea est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15593-15593 DiningArea est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17700-17700 UnderwaterRegion est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22269-22269 Road est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26667-26667 Patio est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order. Merge.kif 9887-9887 Trou est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order. Merge.kif 14077-14077 Secteur g�ographique est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order. Merge.kif 14311-14311 Transitway est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order. Geography.kif 302-302 Latitude est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order. Geography.kif 311-311 Longitude est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order. Geography.kif 762-762 PerimeterArea est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1354-1354 RealEstate est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order. Dining.kif 982-982 PlayArea est une sous-classe de r�gion


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