Historical | ![]() |
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 |
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 | |
(=> (attribute ?X Historical) (instance ?X Physical)) |
Mid-level-ontology.kif 26065-26067 | |
(=> (attribute ?X Historical) (refers History ?X)) |
Mid-level-ontology.kif 26069-26071 |
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 |
![]() |
![]() |