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 4263-4267
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4261-4261	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 4260-4260	names is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4259-4259	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 21152-21152	alias is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25503-25503	conventional long name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25514-25514	conventional short name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12494-12494	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 12487-12487	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 12511-12511	given name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12526-12526	local long name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12531-12531	local short name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12507-12507	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 2101-2101	password is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12474-12474	titles is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4269-4269	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 39586-39586
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 39585-39585
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39584-39584

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 12307-12312	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 22464-22475	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 22477-22487	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 22413-22415	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: