|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4522-4522 | O argumento numero 1 de diplomaticRepresentationType e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4524-4524 | O argumento numero 3 de diplomaticRepresentationType e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4456-4456 | O argumento numero 1 de diplomaticRepresentativeInRole e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4459-4459 | O argumento numero 4 de diplomaticRepresentativeInRole e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2599-2599 | O argumento numero 1 de discovers e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 367-367 | O argumento numero 1 de distrusts e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 368-368 | O argumento numero 2 de distrusts e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 487-487 | O argumento numero 2 de dressCode e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 81-81 | O argumento numero 1 de economyType e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15476-15476 | O argumento numero 1 de editor e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1736-1736 | O argumento numero 1 de electionDatePlannedForPosition e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1874-1874 | O argumento numero 3 de electionWinner e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3008-3008 | O argumento numero 2 de emailAddress e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 140-140 | O argumento numero 1 de emotionTendency e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16638-16638 | O argumento numero 1 de employs e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2447-2447 | O argumento numero 1 de enemy e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2448-2448 | O argumento numero 2 de enemy e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1204-1204 | O argumento numero 1 de engineers e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3727-3727 | O argumento numero 2 de eveningPhone e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1282-1282 | O argumento numero 2 de executiveBranch e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2459-2459 | O argumento numero 2 de experiencer e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3929-3929 | O argumento numero 2 de exploits e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2372-2372 | O argumento numero 1 de exportPartner e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2373-2373 | O argumento numero 2 de exportPartner e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2350-2350 | O argumento numero 1 de exportPartnerInPeriod 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