names - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2158-2161
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4274-4278
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4272-4272	The number 1 argument of names is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4271-4271	names is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4270-4270	names is a subrelation of refers

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 309-309
No TPTP formula. May not be expressible in strict first order.	english_format.kif 317-317
No TPTP formula. May not be expressible in strict first order.	Media.kif 3394-3394	agentName is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21158-21158	alias is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25511-25511	conventional long name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25522-25522	conventional short name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12496-12496	family name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2211-2211	filename is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12489-12489	former name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Media.kif 3260-3260	fullName is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12513-12513	given name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12528-12528	local long name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12533-12533	local short name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12509-12509	middle name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Media.kif 3307-3307	nameIndexOrder is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2101-2101	password is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12476-12476	titles is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4280-4280	unique identifier is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2064-2064	userName is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39661-39661
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 310-310
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39660-39660
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39659-39659

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 3376-3381	If an entity has name a symbolic string and another symbolic string is before key a third symbolic string in the symbolic string and the other symbolic string is not equal to the third symbolic string, then the symbolic string is the ¬ameIndexOrder$"indexable" ¬ameIndexOrder$"name" for the entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 3344-3350	If an entity has name a symbolic string and another symbolic string is after key a third symbolic string in the symbolic string or the other symbolic string is equal to the third symbolic string, then the symbolic string is the indexable name for the entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 3309-3314	If an entity has name a symbolic string and another symbolic string is a key in the symbolic string and the concatenation of the other symbolic string and a third symbolic string is the symbolic string, then the symbolic string is the indexable name for the entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 3399-3403	If an agent has name a symbolic string and the agent is an instance of agent, then the name of the agent is the symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 3416-3420	If a human has name a symbolic string and the human is an instance of human, then the human is called the symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 3450-3454	If an organization has name a symbolic string and the organization is an instance of organization, then the organization is called the symbolic string

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12339-12344	If a process is an instance of naming and an entity is a patient of the process and the process ends up at another entity, then the entity has name the other entity holds during after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22470-22481	If the unit number of a PostalPlace is a symbolic string and another symbolic string is the floor of the PostalPlace, then there exist a physical and an object such that the object is an instance of building level and the physical is an instance of room and the physical is located at the object and the object is a part of the PostalPlace and the physical has name the symbolic string and the object has name the other symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22483-22493	If the unit number of a PostalPlace is a symbolic string and there doesn't exist another symbolic string such that the other symbolic string is the floor of the PostalPlace, then there exists a physical such that the physical is an instance of room and the physical has name the symbolic string and the physical is located at the PostalPlace
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22419-22421	If a symbolic string is called a region in a language, then the region has name the symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 31-33	If a symbolic string is the printable form of an entity in a language, then the language has name the symbolic string

statement

No TPTP formula. May not be expressible in strict first order.	Media.kif 2509-2510	Montenegro has name "Montenegro" holds during after the day 3
No TPTP formula. May not be expressible in strict first order.	Media.kif 2494-2495	Serbia has name "Republic of Serbia" holds during after the day 5

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2496-2496	Adana turkey has name "Adana"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2498-2498	Addis ababa ethiopia has name "Addis Ababa"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2500-2500	Aden yemen has name "Aden"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2502-2502	Adora west bank has name "Adora"
No TPTP formula. May not be expressible in strict first order.	Economy.kif 352-352	Advanced developing country has name "Advanced Developing Country"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4162-4162	Afghanistan has name "Afghanistan"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3381-3381	Africa has name "Africa"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2504-2504	Afula israel has name "Afula"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2506-2506	Agri turkey has name "Agri"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2508-2508	Ain defla algeria has name "Ain Defla"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2510-2510	Ain el hajar algeria has name "Ain el Hajar"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2512-2512	Ajaccio france has name "Ajaccio"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2514-2514	Al balamand lebanon has name "Al-Balamand "
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4066-4066	Albania has name "Albania"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2516-2516	Alei sinai gaza strip has name "Alei Sinai"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2518-2518	Alei zahav west bank has name "Alei Zahav"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2520-2520	Aley lebanon has name "Aley"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3948-3948	Algeria has name "Algeria"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2522-2522	Algiers algeria has name "Algiers"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2524-2524	Alkhan yurt russia has name "Alkhan-Yurt"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2526-2526	Alon moreh west bank has name "Alon Moreh"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2528-2528	Ambon indonesia has name "Ambon"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4196-4196	American samoa has name "American Samoa"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2530-2530	Amman jordan has name "Amman"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2532-2532	An nuwaydirat bahrain has name "An Nuwaydirat"

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

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

KB Term:			Term intersection

English Word: