|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5869-5869 | O argumento numero 1 de hazardous e' uma instancia de Fisico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4075-4075 | O argumento numero 1 de located e' uma instancia de Fisico |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 645-645 | O argumento numero 1 de managedBy e' uma instancia de Fisico |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5891-5891 | O argumento numero 1 de maritimeHazard e' uma instancia de Fisico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7502-7502 | O argumento numero 1 de measure e' uma instancia de Fisico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1279-1279 | O argumento numero 1 de member e' uma instancia de Fisico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7783-7783 | O argumento numero 1 de monetaryValue e' uma instancia de Fisico |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 907-907 | O argumento numero 1 de nearOrientation e' uma instancia de Fisico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2752-2752 | O argumento numero 2 de needs e' uma instancia de Fisico |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1438-1438 | O argumento numero 2 de objectOfBid e' uma instancia de Fisico |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 922-922 | O argumento numero 1 de onOrientation e' uma instancia de Fisico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4045-4045 | O argumento numero 1 de partlyLocated e' uma instancia de Fisico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7736-7736 | O argumento numero 1 de price e' uma instancia de Fisico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14334-14334 | O argumento numero 2 de record e' uma instancia de Fisico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16608-16608 | O argumento numero 2 de registeredItem e' uma instancia de Fisico |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 671-671 | O argumento numero 1 de reservationChannel e' uma instancia de Fisico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25576-25576 | O argumento numero 1 de shape e' uma instancia de Fisico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6135-6135 | O argumento numero 1 de systemPart e' uma instancia de Fisico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3866-3866 | O argumento numero 1 de time e' uma instancia de Fisico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29918-29918 | O argumento numero 1 de uniqueIdWithRespectTo e' uma instancia de Fisico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29919-29919 | O argumento numero 2 de uniqueIdWithRespectTo e' uma instancia de Fisico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2766-2766 | O argumento numero 2 de wants e' uma instancia de Fisico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24191-24191 | O argumento numero 1 de weddingAnniversary e' uma instancia de Fisico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18324-18324 | O argumento numero 2 de DepartmentOfFn e' uma sub-classe de Fisico |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 501-501 | O argumento numero 1 de contractedRentalPrice e' uma sub-classe de Fisico |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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