search

ontologyportal / sumo

Suggested Upper Merged Ontology (SUMO)
227 stars 71 forks source link

Mismatched arity on calls #213

Closed nordlow closed 4 years ago

nordlow commented 4 years ago

Here's all the calls to predicates that has a mismatched arity with the definition of the predicate:


/home/per/Work/sumo/mappings/HotelDetail.kif:739:5: warning: `productPrice` takes exactly 3 arguments, 2 were given
/home/per/Work/sumo/development/Biography.kif:214:7: warning: `weddingdate` takes exactly 3 arguments, 2 were given
/home/per/Work/sumo/development/Biography.kif:214:7: warning: `weddingdate` takes exactly 3 arguments, 2 were given
/home/per/Work/sumo/development/Biography.kif:214:7: warning: `weddingdate` takes exactly 3 arguments, 2 were given
apease commented 4 years ago

depth actually takes three arguments, could you double check your analysis code?

nordlow commented 4 years ago

I'd incorrectly made depth a BinaryPredicate. Fix is here. I removed the warnings related to depth in the printing above. 4 remain.

apease commented 4 years ago

please use Biography.kif in the main, rather than development directory. It's correct. But I've fixed it in the development directory as well. thanks for the report