All humans love (all) cats

How would I write "All humans love all cats" in OWL2 please ? (I'd
appreciate a Manchester syntax rendering.) I know how to trick OWL2 to say
that some fixed specified individual loves all cats, though not the former.

Many thanks,

Cristian Cocos
Post Doctoral Fellow
Centre for Logic and Information, StFX University 54B St. Mary's Street,
Antigonish NS, Canada B2G 2W5
Tel: + 1 (902) 867-4931, Fax: +1 (902) 867-1397

Current research: "Building Decision-Support Through Dynamic Workflow
Systems for Health Care"

Received on Friday, 1 October 2010 15:00:30 UTC