Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| names |
| appearance as argument number 1 |
|
| (subrelation names refers) | Merge.kif 4538-4538 | names is a subrelation of refers |
| (instance names BinaryPredicate) | Merge.kif 4539-4539 | names is an instance of binary predicate |
| (domain names 1 SymbolicString) | Merge.kif 4540-4540 | The number 1 argument of names is an instance of symbolic string |
| (domain names 2 Entity) | Merge.kif 4541-4541 | The number 2 argument of names is an instance of entity |
| (documentation names EnglishLanguage "(names ?STRING ?ENTITY) means that the thing ?ENTITY has the SymbolicString ?STRING as its name. Note that names and represents are the two immediate subrelations of refers. The predicate names is used when the referring item is merely a tag without connotative content, while the predicate represents is used for referring items that have such content.") | Merge.kif 4543-4547 | The number 2 argument of names is an instance of entity |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (names ?NAMESTRING ?THING) (keyName ?FIRST ?NAMESTRING) (stringConcatenation ?FIRST ?REST ?NAMESTRING)) (nameIndexOrder ?NAMESTRING ?THING)) |
Media.kif 3254-3259 | If X has name Y, Z is a key in Y, and the concatenation of Z and W is Y, then Y is the indexable name for X |
| (=> (and (names ?NAMESTRING ?OBJ) (or (nameAfterKeyName ?STRING ?KEY ?NAMESTRING) (equal ?STRING ?KEY))) (nameIndexOrder ?NAMESTRING ?OBJ)) |
Media.kif 3289-3295 | If X has name Y and Z is after key W in Y or equal Z and W, then Y is the indexable name for X |
| (=> (and (names ?NAMESTRING ?OBJ) (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING) (not (equal ?STRING ?KEY))) (not (nameIndexOrder ?NAMESTRING ?OBJ))) |
Media.kif 3321-3326 | If X has name Y, Z is before key W in Y, and equal Z and W, then Y is the indexable name for X |
| (=> (and (names ?STRING ?OBJ) (instance ?OBJ AutonomousAgent)) (agentName ?STRING ?OBJ)) |
Media.kif 3344-3348 | If X has name Y and X is an instance of agent, then the name of X is Y |
| (=> (and (names ?STRING ?OBJ) (instance ?OBJ Human)) (humanName ?STRING ?OBJ)) |
Media.kif 3361-3365 | If X has name Y and X is an instance of human, then X is called Y |
| (=> (and (names ?STRING ?OBJ) (instance ?OBJ Organization)) (organizationName ?STRING ?OBJ)) |
Media.kif 3395-3399 | If X has name Y and X is an instance of organization, then X is called Y |
| consequent |
|
|
| (=> (and (instance ?PROCESS Naming) (patient ?PROCESS ?THING) (destination ?PROCESS ?NAME)) (holdsDuring (FutureFn (WhenFn ?PROCESS)) (names ?NAME ?THING))) |
Merge.kif 13561-13569 | If X is an instance of naming, Y is a patient of X, and X ends up at Z, then Y has name Z holds during after the time of existence of X |
| (=> (canonicalPlaceName ?PLACE ?LANG ?STR) (names ?STR ?PLACE)) |
Mid-level-ontology.kif 26875-26877 | If X is called Y in Z, then Y has name X |
| (=> (and (unitNumber ?UNITSTR ?PLACE) (floorCode ?FLRCODE ?PLACE)) (exists (?UNIT ?FLOOR) (and (instance ?FLOOR BuildingLevel) (instance ?UNIT Room) (located ?UNIT ?FLOOR) (part ?FLOOR ?PLACE) (names ?UNITSTR ?UNIT) (names ?FLRCODE ?FLOOR)))) |
Mid-level-ontology.kif 26914-26925 | If the unit number of X is Y and Z is the floor of X, then All of the following hold: (1) there exist W (2) V such that V is an instance of building level (3) W is an instance of room (4) W is located at V (5) V is a part of X (6) W has name Y (7) V has name Z |
| (=> (and (unitNumber ?UNITSTR ?PLACE) (not (exists (?FLR) (floorCode ?FLR ?PLACE)))) (exists (?UNIT) (and (instance ?UNIT Room) (names ?UNITSTR ?UNIT) (located ?UNIT ?PLACE)))) |
Mid-level-ontology.kif 26927-26937 | If the unit number of X is Y and there doesn't exist Z such that Z is the floor of X, then there exists W such that W is an instance of room, W has name Y, and W is located at X |
| (=> (termFormat ?TERM ?LANGUAGE ?STRING) (names ?STRING ?TERM)) |
Media.kif 31-33 | If X is the printable form of Y in Z, then Z has name X |
| (=> (instance ?C CommunitySpread) (not (exists (?H) (knows ?H (exists (?N) (and (origin ?C ?H) (names ?N ?H))))))) |
Medicine.kif 3228-3236 | If X is an instance of community spread, then there doesn't exist Y such that Y knows there exists Z such that X originates at Y and Y has name Z |
| statement |
|
|
| (holdsDuring (FutureFn ?T) (and (names "Republic of Serbia" Serbia) (instance ?T (DayFn 5 (MonthFn June (YearFn 2006)))))) |
Media.kif 2453-2456 | Serbia has name "Republic of Serbia" and X is an instance of the day 5 of month the month June holds during after X |
| (holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (names "Montenegro" Montenegro))) |
Media.kif 2480-2483 | X is an instance of the day 3 of month the month June and Montenegro has name "Montenegro" holds during after X |
| appearance as argument number 0 |
|
|
|