TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Historical EnglishLanguage "Historical describes something that was important in History")	Mid-level-ontology.kif 26615-26616
(instance Historical RelationalAttribute)	Mid-level-ontology.kif 26614-26614	Historical は関係属性の instance では %n

appearance as argument number 2

(termFormat EnglishLanguage Historical "historical")

Mid-level-ontology.kif 26617-26617

antecedent

(=> (and (attribute ?X Historical) (instance ?X City)) (exists (?EV) (and (instance ?EV Physical) (attribute ?EV Historical) (eventLocated ?EV ?X))))	Mid-level-ontology.kif 26627-26635	Historical はオブジェクトの attribute では %n オブジェクトは都市の instance では %n オブジェクトオブジェクトは物理の instance では %n Historical はオブジェクトの attribute では %n eventLocated オブジェクト and オブジェクト
(=> (attribute ?X Historical) (instance ?X Physical))	Mid-level-ontology.kif 26619-26621	Historical はオブジェクトの attribute では %n オブジェクトは物理の instance では %n
(=> (attribute ?X Historical) (refers History ?X))	Mid-level-ontology.kif 26623-26625	Historical はオブジェクトの attribute では %n History はオブジェクトへの reference を includes %n{ない}

consequent

(=>
    (and
        (attribute ?X Historical)
        (instance ?X City))
    (exists (?EV)
        (and
            (instance ?EV Physical)
            (attribute ?EV Historical)
            (eventLocated ?EV ?X))))

Mid-level-ontology.kif 26627-26635