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 4425-4429
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 815-819
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4422-4422	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 4423-4423	The number 2 argument of names is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4421-4421	names is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4420-4420	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 314-314
No TPTP formula. May not be expressible in strict first order.	french_format.kif 177-177
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1997-1997
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 129-129
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 197-197
No TPTP formula. May not be expressible in strict first order.	Media.kif 3406-3406	agent name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24863-24863	alias is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28864-28864	conventional long name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28875-28875	conventional short name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16106-16106	family name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2311-2311	filename is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16099-16099	former name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Media.kif 3272-3272	full name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16123-16123	given name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16138-16138	local long name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16143-16143	local short name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16119-16119	middle name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Media.kif 3319-3319	name index order is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2201-2201	password is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16086-16086	titles is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4431-4431	unique identifier is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2164-2164	user name is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39699-39699	user name is a subrelation of names

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 3388-3393	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 3356-3362	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 3321-3326	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 3411-3415	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 3428-3432	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 3462-3466	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 13362-13367	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 26301-26312	If the unit number of a postal place is a symbolic string and another symbolic string is the floor of the postal place, 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 postal place 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 26314-26324	If the unit number of a postal place is a symbolic string and there doesn't exist another symbolic string such that the other symbolic string is the floor of the postal place, 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 postal place
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26253-26255	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.	Medicine.kif 3203-3211	If an entity is an instance of community spread, then there doesn't exist a cognitive agent such that the cognitive agent knows there exists another entity such that the entity originates at the cognitive agent and the cognitive agent has name the other entity
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 2506-2509	Serbia has name "Republic of Serbia" and a time position is an instance of the day 5 holds during after the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 2533-2536	A time position is an instance of the day 3 and Montenegro has name "Montenegro" holds during after the time position

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	engineering.kif 962-962	Autonomous mobile robot has name "AMR"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2495-2495	Adana turkey has name "Adana"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2497-2497	Addis ababa ethiopia has name "Addis Ababa"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2499-2499	Aden yemen has name "Aden"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2501-2501	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 4160-4160	Afghanistan has name "Afghanistan"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3510-3510	Africa has name "Africa"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2503-2503	Afula israel has name "Afula"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2505-2505	Agri turkey has name "Agri"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2507-2507	Ain defla algeria has name "Ain Defla"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2509-2509	Ain el hajar algeria has name "Ain el Hajar"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2511-2511	Ajaccio france has name "Ajaccio"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2513-2513	Al balamand lebanon has name "Al_Balamand "
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4064-4064	Albania has name "Albania"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2515-2515	Alei sinai gaza strip has name "Alei Sinai"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2517-2517	Alei zahav west bank has name "Alei Zahav"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2519-2519	Aley lebanon has name "Aley"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3946-3946	Algeria has name "Algeria"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2521-2521	Algiers algeria has name "Algiers"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2523-2523	Alkhan yurt russia has name "Alkhan_Yurt"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2525-2525	Alon moreh west bank has name "Alon Moreh"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2527-2527	Ambon indonesia has name "Ambon"
No TPTP formula. May not be expressible in strict first order.	Sports.kif 825-825	Foot ball US has name "American Football"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4194-4194	American samoa has name "American Samoa"

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: