Historical - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage Historical "historical")

Mid-level-ontology.kif 26848-26848

antecedent

(=> (and (attribute ?X Historical) (instance ?X City)) (exists (?EV) (and (instance ?EV Physical) (attribute ?EV Historical) (eventLocated ?EV ?X))))	Mid-level-ontology.kif 26858-26866	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 26850-26852	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 26854-26856	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 26858-26866