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 27677-27678
(instance Historical RelationalAttribute)	Mid-level-ontology.kif 27676-27676	Historical is an instance of relational attribute

appearance as argument number 2

(termFormat EnglishLanguage Historical "historical")

Mid-level-ontology.kif 27679-27679

antecedent

(=> (and (attribute ?X Historical) (instance ?X City)) (exists (?EV) (and (instance ?EV Physical) (attribute ?EV Historical) (eventLocated ?EV ?X))))	Mid-level-ontology.kif 27689-27697	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 27681-27683	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 27685-27687	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 27689-27697