TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Historical EnglishLanguage "Historical describes something that was important in History")	Mid-level-ontology.kif 26570-26571
(instance Historical RelationalAttribute)	Mid-level-ontology.kif 26569-26569	Historical is an instance of relational attribute

appearance as argument number 2

(termFormat EnglishLanguage Historical "historical")

Mid-level-ontology.kif 26572-26572

antecedent

(=> (and (attribute ?X Historical) (instance ?X City)) (exists (?EV) (and (instance ?EV Physical) (attribute ?EV Historical) (eventLocated ?EV ?X))))	Mid-level-ontology.kif 26582-26590	If historical is an attribute of an object and the object is an instance of city, then there exists another object such that the other object is an instance of physical and historical is an attribute of the other object and the other object is located at the object
(=> (attribute ?X Historical) (instance ?X Physical))	Mid-level-ontology.kif 26574-26576	If historical is an attribute of an object, then the object is an instance of physical
(=> (attribute ?X Historical) (refers History ?X))	Mid-level-ontology.kif 26578-26580	If historical is an attribute of an object, then history includes a reference to the object

consequent

(=>
    (and
        (attribute ?X Historical)
        (instance ?X City))
    (exists (?EV)
        (and
            (instance ?EV Physical)
            (attribute ?EV Historical)
            (eventLocated ?EV ?X))))

Mid-level-ontology.kif 26582-26590