|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 612-612 | O argumento numero 1 de propertyPolicy e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 125-125 | O argumento numero 1 de punishes e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 126-126 | O argumento numero 2 de punishes e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 3015-3015 | O argumento numero 2 de ratingsAgent e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1682-1682 | O argumento numero 2 de referee e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 854-854 | O argumento numero 1 de registeredUser e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29984-29984 | O argumento numero 1 de rents e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29985-29985 | O argumento numero 2 de rents e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4593-4593 | O argumento numero 1 de representativeAgentToAgent e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4594-4594 | O argumento numero 2 de representativeAgentToAgent e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4595-4595 | O argumento numero 3 de representativeAgentToAgent e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4466-4466 | O argumento numero 3 de representsForAgent e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 656-656 | O argumento numero 1 de reservingEntity e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 81-81 | O argumento numero 1 de rewards e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 82-82 | O argumento numero 2 de rewards e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1646-1646 | O argumento numero 1 de roleAppointsRole e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1656-1656 | O argumento numero 1 de roleApprovesRole e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1666-1666 | O argumento numero 1 de roleNominatesRole e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1913-1913 | O argumento numero 2 de seatsHeldInOrganization e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1904-1904 | O argumento numero 2 de seatsWonInElection e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30872-30872 | O argumento numero 1 de shortage e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24602-24602 | O argumento numero 2 de siteForContact e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 370-370 | O argumento numero 2 de standardRetailHours e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 315-315 | O argumento numero 3 de subjectiveAttribute e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29569-29569 | O argumento numero 2 de suffers 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