|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7712-7712 | customer e' uma instancia de Relacao Assimetrica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23319-23319 | deceptiveIdentifier e' uma instancia de Relacao Assimetrica |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 456-456 | dependentGeopoliticalArea e' uma instancia de Relacao Assimetrica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14341-14341 | developmentalForm e' uma instancia de Relacao Assimetrica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24878-24878 | deviceTelecomNumber e' uma instancia de Relacao Assimetrica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1625-1625 | drySeasonInArea e' uma instancia de Relacao Assimetrica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15497-15497 | editor e' uma instancia de Relacao Assimetrica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5412-5412 | element e' uma instancia de Relacao Assimetrica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3704-3704 | equivalenceRelationOn e' uma instancia de Relacao Assimetrica |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1280-1280 | executiveBranch e' uma instancia de Relacao Assimetrica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3927-3927 | exploits e' uma instancia de Relacao Assimetrica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4616-4616 | expressedInLanguage e' uma instancia de Relacao Assimetrica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14721-14721 | familyName e' uma instancia de Relacao Assimetrica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25150-25150 | faxNumber e' uma instancia de Relacao Assimetrica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10042-10042 | fills e' uma instancia de Relacao Assimetrica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5424-5424 | flows e' uma instancia de Relacao Assimetrica |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3287-3287 | fullName e' uma instancia de Relacao Assimetrica |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3301-3301 | fullNameIndexOrder e' uma instancia de Relacao Assimetrica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14066-14066 | geographicSubregion e' uma instancia de Relacao Assimetrica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14109-14109 | geopoliticalSubdivision e' uma instancia de Relacao Assimetrica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14740-14740 | givenName e' uma instancia de Relacao Assimetrica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23008-23008 | grandparent e' uma instancia de Relacao Assimetrica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5885-5885 | graphPart e' uma instancia de Relacao Assimetrica |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2540-2540 | guiElementCoveredBy e' uma instancia de Relacao Assimetrica |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2591-2591 | guiElementPartiallyCoveredBy e' uma instancia de Relacao Assimetrica |
| 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