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 26570-26571
(instance Historical RelationalAttribute)	Mid-level-ontology.kif 26569-26569	Historical e' uma instancia de Atributo Relacional

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	Historical e' um atributo de Objeto Objeto e' uma instancia de Cidade Objeto Objeto e' uma instancia de Fisico Historical e' um atributo de Objeto eventLocated Objeto and Objeto
(=> (attribute ?X Historical) (instance ?X Physical))	Mid-level-ontology.kif 26574-26576	Historical e' um atributo de Objeto Objeto e' uma instancia de Fisico
(=> (attribute ?X Historical) (refers History ?X))	Mid-level-ontology.kif 26578-26580	Historical e' um atributo de Objeto History inclui uma referencia a Objeto

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