Simple Browser : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term: 

  names

Sigma KEE - names
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
命名
(names ?STRING ?ENTITY) 的意思是 物体 ?ENTITY 的 名字是 SymbolicString ?STRING。注:namesrepresentsrefers 的两个直接的 subrelation。 引用光是一个标签,而没有含义内容的东西时,用谓词 names,有内容的东西时用谓词 represents
Relationships      
Parents 提到 (refers ?OBJ1 ?OBJ2) means that ?OBJ1 mentions or includes a reference to ?OBJ2. Note that refers is more general in meaning than represents, because presumably something can represent something else only if it refers to this other thing. For example, an article whose topic is a recent change in the price of oil may refer to many other things, e.g. the general state of the economy, the weather in California, the prospect of global warming, the options for alternative energy sources, the stock prices of various oil companies, etc.
Children agentName(agentName ?STRING ?OBJ) means that ?STRING is a full or partial name for the AutonomousAgent ?OBJ.
 别号(alias ?STRING ?AGENT) means that ?STRING is an alternate identifier for ?AGENT, and is likely being used to hide or obscure ?AGENT's true identity.
 传统的长名(conventionalLongName ?NAME ?THING) means that the string ?NAME is the long form of the name conventionally used for ?THING.
 传统的短名称(conventionalShortName ?NAME ?THING) means that the string ?NAME is the short form of the name conventionally used for ?THING. For a more specialized subset of short names, see abbreviation.
 (familyName ?STRING ?HUMAN) means that the SymbolicString ?STRING denotes a non-optional name that ?HUMAN has inherited by virtue of being born into a particular family (kin group). surname is another word for this type of name. Cf. givenName.
 filenameA relation between a SymbolicString and an instance of DigitalData that specified the filename of the data on a particular computer file system. This relation is for a fully qualified filename including a device specification such as a drive letter or name, a directory, and a name. This can include names that are aliases for a different physical file location. It does not include the specification of a particular machine on a network, such as an internet domain name, although it may reference a device specification that ultimately resolves to a storage device on a network.
 以前的名字(formerName ?NAME ?THING) means that the string ?NAME is a name formerly used for ?THING.
 fullName(fullName ?STRING ?OBJ) means that ?STRING is a (more or less) complete name for ?OBJ, having all of the parts (fields, name components) possible for ?OBJ's name. The parts of ?STRING, if any, may be in conventional order, or in indexed (for alphabetic sorting) order. Examples: George W. Bush, The White House, The United Kingdom of Great Britain and Northern Ireland.
 给予的名称(givenName ?STRING ?HUMAN) means that ?STRING is a name selected for ?HUMAN, usually from among many options, as opposed to a mandatory name (cf. familyName) that ?HUMAN has inherited by virtue of being born into a certain kin group, caste, or occupation.
 当地的长名(localLongName ?NAME ?THING) means that the string ?NAME is the long form of the name used for ?THING in its local area or language.
 本地简称(localShortName ?NAME ?THING) means that the string ?NAME is the short form of the name used for ?THING in its local area or language.
 中间名字(middleName ?CHAR ?INDIV) means that the SymbolicString ?CHAR contains the middle name of the Human ?INDIV.
 nameIndexOrder(nameIndexOrder ?STRING ?OBJ) means that ?STRING is a full or partial name for ?OBJ, and that the first component of ?STRING is the indexed subString identified by keyName. Example: Bush, George.
 密码(password ?Password ?Account) means that ?Password is the password associated with the UserAccount that the ComputerUser uses while logging onto a computer system.
 标题A BinaryPredicate used to indicate the title of a ContentBearingPhysical. Note that the second argument type restriction is a subclass, rather than an instance, of ContentBearingPhysical. Thus, the title Murder_on_the_Orient_Express corresponds to a large class of Books, and not just to a single copy of the book.
 唯一识别符号The class of names that uniquely identify an instance of Entity. Some examples of uniqueIdentifiers are the keys of tables in database applications and the ISBN (International Standard Book Number).
 userName(userName ?Name ?User) means that ?Name is the name the ComputerUser uses to identify himself or herself when logging onto a UserAccount on a computer system.
Instances抽象体这些特质或质量,和任何以物理媒介化身的特质/质量不同。抽象 的实例在意义上,可以说是像数学物体如集合和关系般存在,但是它们不能没有任何物理编码或化身便存在于特定的时间 和地点。
 二元谓语这是一个联系两个项目的 Predicate - 它的配价是二。
 二元关系 BinaryRelation 是只有在关系联系两样东西的时候 才算是真,框架理论以槽代表 BinaryRelation
 实体The universal class of individuals. This is the root node of the ontology.
 可继承的关系这是一个 Relation 类别,它的特性可以是 通过 subrelation Predicate 把特性在类别的层次结构承传下去。
 谓语Predicate 是一个作句的 Relation,这个 Relation 的每一个元组都是物体有限、有序的的句子。一个特定组员是一个 Predicate 的元素这事实,由 '(*predicate* arg_1 arg_2 .. arg_n)'来表示, arg_i 是关联的事物。在 BinaryPredicate 的情况下, 可以读成 `arg_1 是 *predicate* arg_2' 或者 `arg_1 的一个 *predicate* 是 arg_2'。
 关系这是关系的 Class。现有三类的 Relation: PredicateFunctionListPredicateFunction 皆表示有序的n元组集合, 这两个 Class 的差别在于 Predicate 包括组成公式的运算符,而Function 则包括组成 术语的运算符,而一个 List 却是一个特定的有序n元组。
Belongs to Class 实体


Show full definition (without tree view)
Show full definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners