Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  inList
|
|
|
| appearance as argument number 1 |
|
|
| (instance Historical RelationalAttribute) | Mid-level-ontology.kif 29175-29175 | Historical is an instance of relational attribute |
| (documentation Historical EnglishLanguage "Historical describes something that was important in History") | Mid-level-ontology.kif 29176-29177 | Historical is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Historical "historical") | Mid-level-ontology.kif 29178-29178 |
| antecedent |
|
|
| (=> (attribute ?X Historical) (instance ?X Physical)) |
Mid-level-ontology.kif 29180-29182 | If historical is an attribute of X, then X is an instance of physical |
| (=> (attribute ?X Historical) (refers History ?X)) |
Mid-level-ontology.kif 29184-29186 | If historical is an attribute of X, then history includes a reference to X |
| (=> (and (attribute ?X Historical) (instance ?X City)) (exists (?EV) (and (instance ?EV Physical) (attribute ?EV Historical) (eventLocated ?EV ?X)))) |
Mid-level-ontology.kif 29188-29196 | If historical is an attribute of X and X is an instance of city, then there exists Y such that Y is an instance of physical, historical is an attribute of Y, and Y is located at X |
| consequent |
|
|
| (=> (and (attribute ?X Historical) (instance ?X City)) (exists (?EV) (and (instance ?EV Physical) (attribute ?EV Historical) (eventLocated ?EV ?X)))) |
Mid-level-ontology.kif 29188-29196 | If historical is an attribute of X and X is an instance of city, then there exists Y such that Y is an instance of physical, historical is an attribute of Y, and Y is located at X |
|