http://www.estrellaproject.org/lkif-core/lkif-rules.owl#Assumption
Class rules:Assumption

Annotations
rdfs:comment
An assumption is some atom held to be true, without proof, in the head of a rule (defeasibly), cf. Deliverable 1.1

Class Axioms
rdfs:subClassOf
expression:Assumption
rules:Atom

Other Properties
rdf:type
owl:Class

Generated with TopBraid Composer by TopQuadrant, Inc.