|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1908-1908 | O argumento numero 3 de bidPrice e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1686-1686 | O argumento numero 2 de broker e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 360-360 | O argumento numero 2 de businessHours e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29960-29960 | O argumento numero 2 de buys e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1840-1840 | O argumento numero 3 de candidateForPosition e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4368-4368 | O argumento numero 1 de carries e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4444-4444 | O argumento numero 1 de chiefOfDiplomaticMission e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4447-4447 | O argumento numero 4 de chiefOfDiplomaticMission e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 965-965 | O argumento numero 2 de claimedTerritory e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 763-763 | O argumento numero 1 de colocatedAgent e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15903-15903 | O argumento numero 1 de commentator e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 893-893 | O argumento numero 1 de confirmedRegisteredUser e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 881-881 | O argumento numero 3 de contestObject e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19681-19681 | O argumento numero 2 de contestParticipant e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20818-20818 | O argumento numero 2 de contractor e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 121-121 | O argumento numero 3 de corkageFee e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 458-458 | O argumento numero 2 de counselInCase e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13713-13713 | O argumento numero 1 de creator e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7721-7721 | O argumento numero 2 de customer e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 995-995 | O argumento numero 3 de dateUsed e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3687-3687 | O argumento numero 2 de dayPhone e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23322-23322 | O argumento numero 2 de deceptiveIdentifier e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 543-543 | O argumento numero 1 de deliveryRegion e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4632-4632 | O argumento numero 1 de diplomaticOrganizationType e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4634-4634 | O argumento numero 3 de diplomaticOrganizationType 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