No TPTP formula. May not be expressible in strict first order.	Economy.kif 3614-3614	Le nombre 1 argument de currencyCode est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 879-879	Le nombre 2 argument de dataID est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3686-3686	Le nombre 1 argument de dayPhone est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Media.kif 3143-3143	Le nombre 1 argument de displayTitle est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 371-371	Le nombre 3 argument de documentation est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3007-3007	Le nombre 1 argument de emailAddress est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3726-3726	Le nombre 1 argument de eveningPhone est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 678-678	Le nombre 2 argument de externalImage est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14722-14722	Le nombre 1 argument de familyName est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2206-2206	Le nombre 1 argument de filename est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Government.kif 4778-4778	Le nombre 2 argument de flagDescription est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Government.kif 4786-4786	Le nombre 2 argument de flagImage est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24628-24628	Le nombre 1 argument de floorCode est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 382-382	Le nombre 3 argument de format est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Media.kif 3288-3288	Le nombre 1 argument de fullName est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Media.kif 3302-3302	Le nombre 1 argument de fullNameIndexOrder est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14742-14742	Le nombre 1 argument de givenName est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Media.kif 3193-3193	Le nombre 1 argument de groupingTitle est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1022-1022	Le nombre 1 argument de hardwareType est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Media.kif 3437-3437	Le nombre 1 argument de humanName est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24371-24371	Le nombre 2 argument de inString est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Communications.kif 436-436	Le nombre 2 argument de internetCountryCode est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Media.kif 3279-3279	Le nombre 1 argument de keyName est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Media.kif 3280-3280	Le nombre 2 argument de keyName est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	engineering.kif 41-41	Le nombre 3 argument de lexicon est une instance de cha�ne sympbolique
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