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 26061-26062
(instance Historical RelationalAttribute)	Mid-level-ontology.kif 26060-26060	Historical is an instance of relational attribute

appearance as argument number 2

(termFormat EnglishLanguage Historical "historical")

Mid-level-ontology.kif 26063-26063

antecedent

(=> (and (attribute ?X Historical) (instance ?X City)) (exists (?EV) (and (instance ?EV Physical) (attribute ?EV Historical) (eventLocated ?EV ?X))))	Mid-level-ontology.kif 26073-26081	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 2
(=> (attribute ?X Historical) (instance ?X Physical))	Mid-level-ontology.kif 26065-26067	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 26069-26071	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 26073-26081