No TPTP formula. May not be expressible in strict first order.	Merge.kif 3882-3882	Le nombre 2 argument de holdsDuring est une instance de formule
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17446-17446	Le nombre 1 argument de holdsObligation est une instance de formule
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17426-17426	Le nombre 1 argument de holdsRight est une instance de formule
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2596-2596	Le nombre 1 argument de increasesLikelihood est une instance de formule
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2597-2597	Le nombre 2 argument de increasesLikelihood est une instance de formule
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2633-2633	Le nombre 1 argument de independentProbability est une instance de formule
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2634-2634	Le nombre 2 argument de independentProbability est une instance de formule
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2826-2826	Le nombre 2 argument de knows est une instance de formule
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17302-17302	Le nombre 1 argument de modalAttribute est une instance de formule
No TPTP formula. May not be expressible in strict first order.	Law.kif 22-22	Le nombre 2 argument de permits est une instance de formule
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2687-2687	Le nombre 2 argument de prefers est une instance de formule
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2688-2688	Le nombre 3 argument de prefers est une instance de formule
No TPTP formula. May not be expressible in strict first order.	Law.kif 44-44	Le nombre 2 argument de prohibits est une instance de formule
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2989-2989	Le nombre 2 argument de rateDetail est une instance de formule
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2846-2846	Le nombre 2 argument de says est une instance de formule
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4142-4142	Le nombre 2 argument de treatedPageDefinition est une instance de formule
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1163-1163	Le nombre 2 argument de visitorParameter est une instance de formule

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