  paidRoomAmenity
|
|
Sigma KEE - names
|
appearance as argument number 1
|
|
|
| s__documentation(s__names__m, s__ChineseLanguage, "(names ?STRING ?ENTITY) 的意思是 物体 ?ENTITY 的 名字是 SymbolicString ?STRING。注：names 和 represents 是 refers 的两个直接的 subrelation。 引用光是一个标签，而没有含义内容的东西时，用谓词 names，有内容的东西时用谓词 represents。 ") |
chinese_format.kif 2158-2161 |
|
| s__documentation(s__names__m, s__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 4482-4486 |
|
| s__documentation(s__names__m, s__JapaneseLanguage, "(names ?STRING ?ENTITY) とは、?ENTITY が SymbolicString ?STRING をその名前として持っていることを意味する。 注：name と represents は ２つの即時の refers の subrelation である。 述語 name は、参照項目が単に内容を含まない タグである場合に使用され、述語 represents はそのようなコンテンツを持つ項目を参照するために使用 される。") |
japanese_format.kif 815-819 |
|
| s__domain(s__names__m, 1, s__SymbolicString) |
Merge.kif 4479-4479 |
The number 1 argument of names is an instance of symbolic string |
| s__domain(s__names__m, 2, s__Entity) |
Merge.kif 4480-4480 |
The number 2 argument of names is an instance of entity |
| s__instance(s__names__m, s__BinaryPredicate) |
Merge.kif 4478-4478 |
names is an instance of binary predicate |
| s__subrelation(s__names__m, s__refers__m) |
Merge.kif 4477-4477 |
names is a subrelation of refers |
|
appearance as argument number 2
|
|
|
| s__format(s__ChineseLanguage, s__names__m, "%2 的名 %n 是 %1") |
chinese_format.kif 309-309 |
|
| s__format(s__EnglishLanguage, s__names__m, "%2 %n{doesnt have} %p{has} name %1") |
english_format.kif 314-314 |
|
| s__format(s__FrenchLanguage, s__names__m, "%2 %n{ne} sappele %n{pas} nom %1") |
french_format.kif 177-177 |
|
| s__format(s__JapaneseLanguage, s__names__m, "%2 は %1 の name を %p{持って} %n{ない}") |
japanese_format.kif 1997-1997 |
|
| s__format(s__PortugueseLanguage, s__names__m, "%2 %n{nao} se chama %n nome %1") |
portuguese_format.kif 129-129 |
|
| s__format(s__ro__m, s__names__m, "%2 %n{nu} are name%t{numele} %1") |
relations-ro.kif 197-197 |
|
| s__subrelation(s__agentName__m, s__names__m) |
Media.kif 3408-3408 |
agent name is a subrelation of names |
| s__subrelation(s__alias__m, s__names__m) |
Mid-level-ontology.kif 24846-24846 |
alias is a subrelation of names |
| s__subrelation(s__conventionalLongName__m, s__names__m) |
Mid-level-ontology.kif 29104-29104 |
conventional long name is a subrelation of names |
| s__subrelation(s__conventionalShortName__m, s__names__m) |
Mid-level-ontology.kif 29115-29115 |
conventional short name is a subrelation of names |
| s__subrelation(s__familyName__m, s__names__m) |
Mid-level-ontology.kif 16087-16087 |
family name is a subrelation of names |
| s__subrelation(s__filename__m, s__names__m) |
QoSontology.kif 2337-2337 |
filename is a subrelation of names |
| s__subrelation(s__formerName__m, s__names__m) |
Mid-level-ontology.kif 16078-16078 |
former name is a subrelation of names |
| s__subrelation(s__fullName__m, s__names__m) |
Media.kif 3274-3274 |
full name is a subrelation of names |
| s__subrelation(s__givenName__m, s__names__m) |
Mid-level-ontology.kif 16104-16104 |
given name is a subrelation of names |
| s__subrelation(s__localLongName__m, s__names__m) |
Mid-level-ontology.kif 16119-16119 |
local long name is a subrelation of names |
| s__subrelation(s__localShortName__m, s__names__m) |
Mid-level-ontology.kif 16124-16124 |
local short name is a subrelation of names |
| s__subrelation(s__middleName__m, s__names__m) |
Mid-level-ontology.kif 16100-16100 |
middle name is a subrelation of names |
| s__subrelation(s__nameIndexOrder__m, s__names__m) |
Media.kif 3321-3321 |
name index order is a subrelation of names |
| s__subrelation(s__password__m, s__names__m) |
QoSontology.kif 2227-2227 |
password is a subrelation of names |
| s__subrelation(s__titles__m, s__names__m) |
Mid-level-ontology.kif 16065-16065 |
titles is a subrelation of names |
| s__subrelation(s__uniqueIdentifier__m, s__names__m) |
Merge.kif 4488-4488 |
unique identifier is a subrelation of names |
| s__subrelation(s__userName__m, s__names__m) |
QoSontology.kif 2189-2189 |
user name is a subrelation of names |
| s__termFormat(s__ChineseLanguage, s__names__m, "名") |
domainEnglishFormat.kif 39681-39681 |
user name is a subrelation of names |
| | Display limited to 25 items. Show next 25 |
| | Display limited to 25 items. Show next 25 |
|
antecedent
|
|
|
| ! [V__STRING : $i,V__NAMESTRING : $i,V__OBJ : $i,V__KEY : $i] : (((s__names(V__NAMESTRING, V__OBJ) & s__nameBeforeKeyName(V__STRING, V__KEY, V__NAMESTRING) & ~(V__STRING = V__KEY)) => ~(s__nameIndexOrder(V__NAMESTRING, V__OBJ)))) |
Media.kif 3390-3395 |
|
| ! [V__STRING : $i,V__NAMESTRING : $i,V__OBJ : $i,V__KEY : $i] : (((s__names(V__NAMESTRING, V__OBJ) & (s__nameAfterKeyName(V__STRING, V__KEY, V__NAMESTRING) | V__STRING = V__KEY)) => s__nameIndexOrder(V__NAMESTRING, V__OBJ))) |
Media.kif 3358-3364 |
|
| ! [V__NAMESTRING : $i,V__THING : $i,V__REST : $i,V__FIRST : $i] : (((s__names(V__NAMESTRING, V__THING) & s__keyName(V__FIRST, V__NAMESTRING) & s__stringConcatenation(V__FIRST, V__REST, V__NAMESTRING)) => s__nameIndexOrder(V__NAMESTRING, V__THING))) |
Media.kif 3323-3328 |
|
| ! [V__STRING : $i,V__OBJ : $i] : (((s__names(V__STRING, V__OBJ) & s__instance(V__OBJ, s__AutonomousAgent)) => s__agentName(V__STRING, V__OBJ))) |
Media.kif 3413-3417 |
|
| ! [V__STRING : $i,V__OBJ : $i] : (((s__names(V__STRING, V__OBJ) & s__instance(V__OBJ, s__Human)) => s__humanName(V__STRING, V__OBJ))) |
Media.kif 3430-3434 |
|
| ! [V__STRING : $i,V__OBJ : $i] : (((s__names(V__STRING, V__OBJ) & s__instance(V__OBJ, s__Organization)) => s__organizationName(V__STRING, V__OBJ))) |
Media.kif 3464-3468 |
|
|
consequent
|
|
|
| ((s__instance(V__PROCESS, s__Naming) & s__patient(V__PROCESS, V__THING) & s__destination(V__PROCESS, V__NAME)) => s__holdsDuring(s__FutureFn(s__WhenFn(V__PROCESS)), s__names(V__NAME, V__THING))) |
Merge.kif 13433-13438 |
|
| ((s__unitNumber(V__UNITSTR, V__PLACE) & s__floorCode(V__FLRCODE, V__PLACE)) => ( ? [V__UNIT:$i, V__FLOOR:$i] : ((s__instance(V__FLOOR, s__BuildingLevel) & s__instance(V__UNIT, s__Room) & s__located(V__UNIT, V__FLOOR) & s__part(V__FLOOR, V__PLACE) & s__names(V__UNITSTR, V__UNIT) & s__names(V__FLRCODE, V__FLOOR))))) |
Mid-level-ontology.kif 26285-26296 |
|
| ((s__unitNumber(V__UNITSTR, V__PLACE) & ~(( ? [V__FLR:$i] : (s__floorCode(V__FLR, V__PLACE))))) => ( ? [V__UNIT:$i] : ((s__instance(V__UNIT, s__Room) & s__names(V__UNITSTR, V__UNIT) & s__located(V__UNIT, V__PLACE))))) |
Mid-level-ontology.kif 26298-26308 |
|
| (s__canonicalPlaceName(V__PLACE, V__LANG, V__STR) => s__names(V__STR, V__PLACE)) |
Mid-level-ontology.kif 26237-26239 |
|
| (s__instance(V__C, s__CommunitySpread) => ~(( ? [V__H:$i] : (s__knows(V__H, ( ? [V__N:$i] : ((s__origin(V__C, V__H) & s__names(V__N, V__H))))))))) |
Medicine.kif 3219-3227 |
|
| (s__termFormat(V__TERM, V__LANGUAGE, V__STRING) => s__names(V__STRING, V__TERM)) |
Media.kif 31-33 |
|
|
statement
|
|
|
| s__holdsDuring(s__FutureFn(V__T), (s__names("Republic of Serbia", s__Serbia) & s__instance(V__T, s__DayFn(5, s__MonthFn(s__June, s__YearFn(2006)))))) |
Media.kif 2508-2511 |
Serbia has &ames$"name" "Republic of Serbia" and a time position is an instance of the day 5 of month the month June holds during after the time position |
| ! [V__TIME : $i] : (s__holdsDuring(s__FutureFn(V__TIME), (s__instance(V__TIME, s__DayFn(3, s__MonthFn(s__June, s__YearFn(2006)))) & s__names("Montenegro", s__Montenegro)))) |
Media.kif 2535-2538 |
A time position is an instance of the day 3 of month the month June and Montenegro has &ames$"name" "Montenegro" holds during after the time position |
|
appearance as argument number 0
|
|
|
| s__names("AMR", s__AutonomousMobileRobot) |
engineering.kif 962-962 |
Autonomous mobile robot has &ames$"name" "AMR" |
| s__names("Adana", s__AdanaTurkey) |
CountriesAndRegions.kif 2501-2501 |
Adana turkey has &ames$"name" "Adana" |
| s__names("Addis Ababa", s__AddisAbabaEthiopia) |
CountriesAndRegions.kif 2503-2503 |
Addis ababa ethiopia has &ames$"name" "Addis Ababa" |
| s__names("Aden", s__AdenYemen) |
CountriesAndRegions.kif 2505-2505 |
Aden yemen has &ames$"name" "Aden" |
| s__names("Adora", s__AdoraWestBank) |
CountriesAndRegions.kif 2507-2507 |
Adora west bank has &ames$"name" "Adora" |
| s__names("Advanced Developing Country", s__AdvancedDevelopingCountry) |
Economy.kif 352-352 |
Advanced developing country has &ames$"name" "Advanced Developing Country" |
| s__names("Afghanistan", s__Afghanistan) |
CountriesAndRegions.kif 4160-4160 |
Afghanistan has &ames$"name" "Afghanistan" |
| s__names("Africa", s__Africa) |
Geography.kif 4990-4990 |
Africa has &ames$"name" "Africa" |
| s__names("Afula", s__AfulaIsrael) |
CountriesAndRegions.kif 2509-2509 |
Afula israel has &ames$"name" "Afula" |
| s__names("Agri", s__AgriTurkey) |
CountriesAndRegions.kif 2511-2511 |
Agri turkey has &ames$"name" "Agri" |
| s__names("Ain Defla", s__AinDeflaAlgeria) |
CountriesAndRegions.kif 2513-2513 |
Ain defla algeria has &ames$"name" "Ain Defla" |
| s__names("Ain el Hajar", s__AinElHajarAlgeria) |
CountriesAndRegions.kif 2515-2515 |
Ain el hajar algeria has &ames$"name" "Ain el Hajar" |
| s__names("Ajaccio", s__AjaccioFrance) |
CountriesAndRegions.kif 2517-2517 |
Ajaccio france has &ames$"name" "Ajaccio" |
| s__names("Al_Balamand ", s__AlBalamandLebanon) |
CountriesAndRegions.kif 2519-2519 |
Al balamand lebanon has &ames$"name" "Al_Balamand " |
| s__names("Albania", s__Albania) |
CountriesAndRegions.kif 4064-4064 |
Albania has &ames$"name" "Albania" |
| s__names("Alei Sinai", s__AleiSinaiGazaStrip) |
CountriesAndRegions.kif 2521-2521 |
Alei sinai gaza strip has &ames$"name" "Alei Sinai" |
| s__names("Alei Zahav", s__AleiZahavWestBank) |
CountriesAndRegions.kif 2523-2523 |
Alei zahav west bank has &ames$"name" "Alei Zahav" |
| s__names("Aley", s__AleyLebanon) |
CountriesAndRegions.kif 2525-2525 |
Aley lebanon has &ames$"name" "Aley" |
| s__names("Algeria", s__Algeria) |
CountriesAndRegions.kif 3946-3946 |
Algeria has &ames$"name" "Algeria" |
| s__names("Algiers", s__AlgiersAlgeria) |
CountriesAndRegions.kif 2527-2527 |
Algiers algeria has &ames$"name" "Algiers" |
| s__names("Alkhan_Yurt", s__AlkhanYurtRussia) |
CountriesAndRegions.kif 2529-2529 |
Alkhan yurt russia has &ames$"name" "Alkhan_Yurt" |
| s__names("Alon Moreh", s__AlonMorehWestBank) |
CountriesAndRegions.kif 2531-2531 |
Alon moreh west bank has &ames$"name" "Alon Moreh" |
| s__names("Ambon", s__AmbonIndonesia) |
CountriesAndRegions.kif 2533-2533 |
Ambon indonesia has &ames$"name" "Ambon" |
| s__names("American Football", s__FootballUS) |
Sports.kif 825-825 |
Foot ball US has &ames$"name" "American Football" |
| s__names("American Samoa", s__AmericanSamoa) |
CountriesAndRegions.kif 4194-4194 |
American samoa has &ames$"name" "American Samoa" |
| | Display limited to 25 items. Show next 25 |
| | Display limited to 25 items. Show next 25 |
|
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|