No TPTP formula. May not be expressible in strict first order.	Merge.kif 749-749	Le nombre 1 argument de greaterThanByQuality est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 750-750	Le nombre 2 argument de greaterThanByQuality est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 90-90	Le nombre 1 argument de immediateInstance est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3106-3106	Le nombre 1 argument de inList est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2724-2724	Le nombre 2 argument de inScopeOfInterest est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 81-81	Le nombre 1 argument de instance est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2415-2415	Le nombre 2 argument de involvedInEvent est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14753-14753	Le nombre 2 argument de localLongName est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14765-14765	Le nombre 2 argument de localShortName est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Media.kif 3331-3331	Le nombre 2 argument de nameIndexOrder est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4429-4429	Le nombre 2 argument de names est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 127-127	Le nombre 2 argument de offersAtTime est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	emotion.kif 199-199	Le nombre 2 argument de pastTense est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2496-2496	Le nombre 2 argument de patient est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1708-1708	Le nombre 1 argument de property est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4413-4413	Le nombre 1 argument de refers est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4414-4414	Le nombre 2 argument de refers est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 627-627	Le nombre 2 argument de relatedExternalConcept est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 616-616	Le nombre 1 argument de relatedInternalConcept est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 617-617	Le nombre 2 argument de relatedInternalConcept est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4452-4452	Le nombre 1 argument de represents est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4453-4453	Le nombre 2 argument de represents est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4464-4464	Le nombre 1 argument de representsForAgent est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4465-4465	Le nombre 2 argument de representsForAgent est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4478-4478	Le nombre 2 argument de representsInLanguage est une instance de entit�
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