|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1435-1435 | O argumento numero 1 de leaderPosition e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2001-2001 | O argumento numero 2 de legislativeBranch e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 102-102 | O argumento numero 2 de listingBidder e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 78-78 | O argumento numero 2 de listingBuyer e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 49-49 | O argumento numero 2 de listingSeller e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4329-4329 | O argumento numero 1 de loggedInDuring e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23450-23450 | O argumento numero 2 de losesControl e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 646-646 | O argumento numero 2 de managedBy e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15029-15029 | O argumento numero 2 de manufacturer e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25118-25118 | O argumento numero 2 de mobilePhoneNumber e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Justice.kif 32-32 | O argumento numero 2 de observedAtTimeInPlace e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 82-82 | O argumento numero 1 de offers e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 126-126 | O argumento numero 1 de offersAtTime e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22766-22766 | O argumento numero 2 de operator e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 627-627 | O argumento numero 1 de orgStaff e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2593-2593 | O argumento numero 1 de organizationalObjective e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 21-21 | O argumento numero 1 de permits e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1693-1693 | O argumento numero 2 de plays e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4245-4245 | O argumento numero 1 de possesses e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24611-24611 | O argumento numero 2 de postContactSite e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 808-808 | O argumento numero 2 de potentialCustomer e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7737-7737 | O argumento numero 3 de price e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 206-206 | O argumento numero 4 de priceRange e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 43-43 | O argumento numero 1 de prohibits e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 501-501 | O argumento numero 1 de propertyAmenity e' uma instancia de AutonomousAgent |
| 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