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 4099-4103
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4097-4097	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 4096-4096	names is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4095-4095	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 3392-3392	agentName is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21019-21019	alias is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25378-25378	conventional long name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25389-25389	conventional short name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12461-12461	family name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2202-2202	filename is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12454-12454	former name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Media.kif 3258-3258	fullName is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12478-12478	given name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12493-12493	local long name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12498-12498	local short name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12474-12474	middle name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Media.kif 3305-3305	nameIndexOrder is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2095-2095	password is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12441-12441	titles is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4105-4105	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 39589-39589	"名" is the printable form of names in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 310-310	"命名" is the printable form of names in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39588-39588	"名" is the printable form of names in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39587-39587	"names" is the printable form of names in english language

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 3374-3379	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 3342-3348	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 3307-3312	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 3397-3401	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 3414-3418	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 3448-3452	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 12156-12161	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 22331-22342	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 22344-22354	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 an object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22280-22282	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 4161-4161	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 4065-4065	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 3947-3947	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 4195-4195	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: