|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2351-2351 | O argumento numero 2 de exportPartnerInPeriod e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 331-331 | O argumento numero 1 de facility e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25152-25152 | O argumento numero 2 de faxNumber e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23850-23850 | O argumento numero 1 de financialAsset e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3681-3681 | O argumento numero 1 de fiscalYearPeriod e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3521-3521 | O argumento numero 1 de fleetSize e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 686-686 | O argumento numero 1 de fulfillingEntity e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23436-23436 | O argumento numero 2 de gainsControl e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 128-128 | O argumento numero 1 de governmentType e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2964-2964 | O argumento numero 1 de grossMerchandiseBoughtInPeriod e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2993-2993 | O argumento numero 1 de grossMerchandiseSoldInPeriod e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 67-67 | O argumento numero 2 de guest e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2070-2070 | O argumento numero 1 de hasAccount e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18659-18659 | O argumento numero 1 de hasAward e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3963-3963 | O argumento numero 3 de hasPurposeForAgent e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3981-3981 | O argumento numero 2 de hasSkill e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2660-2660 | O argumento numero 1 de importPartner e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2661-2661 | O argumento numero 2 de importPartner e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2638-2638 | O argumento numero 1 de importPartnerInPeriod e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2639-2639 | O argumento numero 2 de importPartnerInPeriod e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18365-18365 | O argumento numero 1 de inhibits e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 240-240 | O argumento numero 1 de jailer e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2095-2095 | O argumento numero 2 de judicialBranch e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6887-6887 | O argumento numero 1 de landlord e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1612-1612 | O argumento numero 1 de leader 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