| Historical | |
| appearance as argument number 1 |
|
|
| (documentation Historical EnglishLanguage "Historical describes something that was important in History") | Mid-level-ontology.kif 28227-28228 | |
| (instance Historical RelationalAttribute) | Mid-level-ontology.kif 28226-28226 | Historical est une instance de attribut relationnel |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Historical "historical") | Mid-level-ontology.kif 28229-28229 |
| antecedent |
|
|
| (=> (and (attribute ?X Historical) (instance ?X City)) (exists (?EV) (and (instance ?EV Physical) (attribute ?EV Historical) (eventLocated ?EV ?X)))) |
Mid-level-ontology.kif 28239-28247 | |
| (=> (attribute ?X Historical) (instance ?X Physical)) |
Mid-level-ontology.kif 28231-28233 | |
| (=> (attribute ?X Historical) (refers History ?X)) |
Mid-level-ontology.kif 28235-28237 |
| consequent |
|
|
| (=> (and (attribute ?X Historical) (instance ?X City)) (exists (?EV) (and (instance ?EV Physical) (attribute ?EV Historical) (eventLocated ?EV ?X)))) |
Mid-level-ontology.kif 28239-28247 |
|
|
|