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 28240-28241
(instance Historical RelationalAttribute)	Mid-level-ontology.kif 28239-28239	Historical is an instance of relational attribute

appearance as argument number 2

(termFormat EnglishLanguage Historical "historical")

Mid-level-ontology.kif 28242-28242

antecedent

(=> (and (attribute ?X Historical) (instance ?X City)) (exists (?EV) (and (instance ?EV Physical) (attribute ?EV Historical) (eventLocated ?EV ?X))))	Mid-level-ontology.kif 28252-28260	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 28244-28246	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 28248-28250	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 28252-28260