Function Name

Binary-Relation@Ol-User%Kif-Relations, Binary-Relation@Ol-User%Kif-Relations, Function@Ol-User%Kif-Relations, Function@Ol-User%Kif-Relations, Function@Ol-User%Kif-Relations ...
Arity@Frame-Ontology: 2
The term {tt (name $tau$)} denotes the standard name for the object denoted by the term $tau$. The standard name for an expression $tau$ is {tt (quote $tau$)}; the standard name for a non-expression is at the
discretion of the user. (Note that there are only a countable number of terms in KIF, but there can be models with uncountable cardinality; consequently, it is not always possible for every object in the universe of discourse to have a unique name.)

and also:

Function from an agent or organisation to the name by which it goes.

If an agent has more than one complete name (not parts of the name, such as

first and last name), then the NAME is the name used to identify that

agent in the shared world. If the shared world is represented in a

database, then the name would be a `key field' for the agent. Other

names can be related to the agent by some other relations.

Implication Axioms for Name:

(=> (Name ?X)
    (=> (Agent@Agents ?X)
        (=> (= (Name ?X) ?Y) (Agent-Name@Agents ?Y))))

Frame References to Name:

In class@frame-ontology Agent@Agents:


Slot-Cardinality@Frame-Ontology: 1

In class@frame-ontology Publisher@Agents:


Slot-Cardinality@Frame-Ontology: 1

Implication Axioms mentioning Name:

(=> (Has-Name@Agents ?X ?Name)
    (=> (= (Name ?X) ?Name) (Has-Name@Agents ?X ?Name)))