No TPTP formula. May not be expressible in strict first order.	Economy.kif 3614-3614	O argumento numero 1 de currencyCode e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 879-879	O argumento numero 2 de dataID e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3686-3686	O argumento numero 1 de dayPhone e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Media.kif 3143-3143	O argumento numero 1 de displayTitle e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 371-371	O argumento numero 3 de documentation e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3007-3007	O argumento numero 1 de emailAddress e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3726-3726	O argumento numero 1 de eveningPhone e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 678-678	O argumento numero 2 de externalImage e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14723-14723	O argumento numero 1 de familyName e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2206-2206	O argumento numero 1 de filename e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Government.kif 4778-4778	O argumento numero 2 de flagDescription e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Government.kif 4786-4786	O argumento numero 2 de flagImage e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24629-24629	O argumento numero 1 de floorCode e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 382-382	O argumento numero 3 de format e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Media.kif 3288-3288	O argumento numero 1 de fullName e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Media.kif 3302-3302	O argumento numero 1 de fullNameIndexOrder e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14743-14743	O argumento numero 1 de givenName e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Media.kif 3193-3193	O argumento numero 1 de groupingTitle e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1022-1022	O argumento numero 1 de hardwareType e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Media.kif 3437-3437	O argumento numero 1 de humanName e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24372-24372	O argumento numero 2 de inString e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Communications.kif 436-436	O argumento numero 2 de internetCountryCode e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Media.kif 3279-3279	O argumento numero 1 de keyName e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Media.kif 3280-3280	O argumento numero 2 de keyName e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	engineering.kif 41-41	O argumento numero 3 de lexicon e' uma instancia de Sequencia Simbolica
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