member - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1633-1634
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1277-1279
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 216-217
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 256-258
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1272-1272	The number 1 argument of member is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1273-1273	The number 2 argument of member is an instance of collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1269-1269	member is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1270-1270	member is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1271-1271	member is an instance of intransitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1275-1275	member is internally related to element
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1274-1274	member is internally related to instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 153-153
No TPTP formula. May not be expressible in strict first order.	english_format.kif 154-154
No TPTP formula. May not be expressible in strict first order.	french_format.kif 97-97
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 182-182
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1925-1925
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 49-49
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 69-69
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 185-185
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 220-220
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 116-116
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 96-96
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 358-358
No TPTP formula. May not be expressible in strict first order.	Government.kif 2388-2388	associate in organization is a subrelation of member
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8254-8254	group member is a subrelation of member
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17647-17647	student is a subrelation of member
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17719-17719	teacher is a subrelation of member
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37015-37015	teacher is a subrelation of member
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 154-154	teacher is a subrelation of member
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37014-37014	teacher is a subrelation of member
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37013-37013	teacher is a subrelation of member
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 57-57	teacher is a subrelation of member
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 359-359	teacher is a subrelation of member

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 3565-3567	A physical is a member of international red cross and red crescent movement if and only if the physical is a member of international federation of red cross and red crescent societies
No TPTP formula. May not be expressible in strict first order.	Economy.kif 506-510	If high income country is an attribute of an agent and the agent is not a member of organization of petroleum exporting countries, then developed country is an economy type of the agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2579-2583	If an organization is a business unit of a business and a physical is a member of the organization, then the physical is an instance of human
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2659-2663	If a cross_functional team works on an entity and a cognitive agent is a member of the cross_functional team, then the cognitive agent is interested in the entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3231-3235	If a currency measure is equal to the average price of a collection and a physical is a member of the collection, then the physical is an instance of buying
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3276-3280	If a currency measure is equal to the average selling price of a collection and a physical is a member of the collection, then the physical is an instance of selling
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4043-4047	If a collection are the processes in an experimenting and a process is a member of the collection, then the process is a process in the experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3534-3543	If a collection are first time buyers on a web site during a time interval and an agent is a member of the collection, then there exists a financial transaction such that the financial transaction is an instance of buying and the agent is an agent of the financial transaction and the web site facilitates the financial transaction and the time of existence of the financial transaction takes place during the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3528-3532	If a collection are first time buyers on a web site during a time interval and a physical is a member of the collection, then the physical is an instance of agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3545-3555	If a collection are first time buyers on a web site during a time interval and an agent is a member of the collection, then there doesn't exist a financial transaction such that the financial transaction is an instance of buying and the agent is an agent of the financial transaction and the web site facilitates the financial transaction and the time of existence of the financial transaction happens earlier than the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3582-3591	If a collection are first time sellers on a web site during a time interval and an agent is a member of the collection, then there exists a financial transaction such that the financial transaction is an instance of selling and the agent is an agent of the financial transaction and the web site facilitates the financial transaction and the time of existence of the financial transaction takes place during the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3576-3580	If a collection are first time sellers on a web site during a time interval and a physical is a member of the collection, then the physical is an instance of agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3593-3603	If a collection are first time sellers on a web site during a time interval and an agent is a member of the collection, then there doesn't exist a financial transaction such that the financial transaction is an instance of selling and the agent is an agent of the financial transaction and the web site facilitates the financial transaction and the time of existence of the financial transaction happens earlier than the time interval
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2735-2745	If a real number long ton(s) is a fleet dead weight tonnage of a collection and another real number long ton(s) is a vessel dead weight tonnage of a water vehicle and the water vehicle is a member of the collection, then there exists a list such that the list is an instance of list and the other real number is a member of the list and the real number is equal to the sum of the list
No TPTP formula. May not be expressible in strict first order.	Media.kif 3189-3194	If a symbolic string is the title in a language for instances of a class and a collection is an instance of the class and a physical is a member of the collection, then the physical is an instance of content bearing physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8262-8269	If an entity is a member of another entity holds during a time position and the entity is an instance of human and the other entity is an instance of group of people, then the entity is a member of the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Government.kif 1729-1734	If an object is an instance of agent and an organization is an instance of organization and the object is a member of the organization, then the member of the organization is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 972-976	If a geopolitical area is an instance of geopolitical area and a physical is a member of the merchant marine of the geopolitical area, then the physical is an instance of merchant marine ship
No TPTP formula. May not be expressible in strict first order.	Government.kif 3185-3189	If a geopolitical area is an instance of nation and the geopolitical area is a member of european monetary union, then euro dollar is a currency type of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24437-24447	If a placing under arrest is an instance of placing under arrest and an agent is placed under arrest during the placing under arrest and the agent is an instance of group of people and another agent is a member of the agent, then there exists the placing under arrest1 such that the placing under arrest1 is an instance of placing under arrest and the other agent is placed under arrest during the placing under arrest1 and the placing under arrest1 is a subprocess of the placing under arrest
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3202-3215	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of auctioning , then there exist a symbolic string and an entity_PURCHASE_AMOUNT such that the total of values in the class described by the symbolic string is the entity_PURCHASE_AMOUNT and the total purchase price of the collection is equal to the entity_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3239-3259	If a collection is an instance of collection and a real number is an instance of currency measure and an integer is an instance of real number and the real number is equal to the value of the collection and the integer is equal to the number of instances in the class described by a symbolic string, then the average price of the collection is equal to the real number and the integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23291-23299	If a collection is an instance of convoy and a physical is a member of the collection, then there exists a process such that the process is an instance of driving and the time of existence of the collection overlaps the time of existence of the process and the physical is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Military.kif 108-122	If a collection is an instance of convoy and an agent is a member of the collection and another agent is a member of the collection and the agent is not equal to the other agent, then there exist a process, another process and an entity such that the process is an instance of transportation and the other process is an instance of transportation and the agent is an agent of the process and the other agent is an agent of the other process and the process ends up at the entity and the other process ends up at the entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 145-160	If a collection is an instance of web listing category and a physical is an instance of web listing and another physical is an instance of web listing and a process is an instance of object and another process is an instance of object and the physical is a member of the collection and the other physical is a member of the collection and the physical is a patient of the process and the other physical is a patient of the other process, then there exists a class such that the class is an instance of class and the process is an instance of the class and the other process is an instance of the class

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 676-678	A member of a belief group is an attribute of an object if and only if the object is a member of the belief group
No TPTP formula. May not be expressible in strict first order.	People.kif 702-704	Agnostic is an attribute of an object if and only if the object is a member of agnosticism
No TPTP formula. May not be expressible in strict first order.	People.kif 1347-1349	Ahmadiyya muslim is an attribute of an object if and only if the object is a member of ahmadiyya sect
No TPTP formula. May not be expressible in strict first order.	People.kif 1225-1227	Anglican is an attribute of an object if and only if the object is a member of anglicanism
No TPTP formula. May not be expressible in strict first order.	People.kif 1233-1235	Anglican is an attribute of an object if and only if the object is a member of church of england
No TPTP formula. May not be expressible in strict first order.	People.kif 720-722	Atheist is an attribute of an object if and only if the object is a member of atheism
No TPTP formula. May not be expressible in strict first order.	People.kif 757-759	Bahai is an attribute of an object if and only if the object is a member of bahaism
No TPTP formula. May not be expressible in strict first order.	People.kif 769-771	Buddhist is an attribute of an object if and only if the object is a member of buddhism
No TPTP formula. May not be expressible in strict first order.	People.kif 1306-1308	Confucianist is an attribute of an object if and only if the object is a member of confucianism
No TPTP formula. May not be expressible in strict first order.	People.kif 1361-1363	Druze muslim is an attribute of an object if and only if the object is a member of druze sect
No TPTP formula. May not be expressible in strict first order.	People.kif 1247-1249	Eastern orthodox christian is an attribute of an object if and only if the object is a member of eastern orthodox christianity
No TPTP formula. May not be expressible in strict first order.	People.kif 1318-1320	Hindu is an attribute of an object if and only if the object is a member of hinduism
No TPTP formula. May not be expressible in strict first order.	People.kif 1411-1413	Jain is an attribute of an object if and only if the object is a member of jainism
No TPTP formula. May not be expressible in strict first order.	People.kif 1330-1332	Muslim is an attribute of an object if and only if the object is a member of islam
No TPTP formula. May not be expressible in strict first order.	People.kif 1457-1459	Neopaganismist is an attribute of an object if and only if the object is a member of neopaganism
No TPTP formula. May not be expressible in strict first order.	People.kif 1261-1263	Protestant is an attribute of an object if and only if the object is a member of protestantism
No TPTP formula. May not be expressible in strict first order.	People.kif 1428-1430	Religious jew is an attribute of an object if and only if the object is a member of judaism
No TPTP formula. May not be expressible in strict first order.	People.kif 1283-1285	Roman catholic is an attribute of an object if and only if the object is a member of roman catholic church
No TPTP formula. May not be expressible in strict first order.	People.kif 1275-1277	Roman catholic is an attribute of an object if and only if the object is a member of roman catholicism
No TPTP formula. May not be expressible in strict first order.	People.kif 1377-1379	Shia muslim is an attribute of an object if and only if the object is a member of shiite sect
No TPTP formula. May not be expressible in strict first order.	People.kif 1472-1474	Shintoist is an attribute of an object if and only if the object is a member of shinto
No TPTP formula. May not be expressible in strict first order.	People.kif 1487-1489	Sikh is an attribute of an object if and only if the object is a member of sikhism
No TPTP formula. May not be expressible in strict first order.	People.kif 1396-1398	Sunni muslim is an attribute of an object if and only if the object is a member of sunni sect
No TPTP formula. May not be expressible in strict first order.	People.kif 1502-1504	Taoist is an attribute of an object if and only if the object is a member of taoism
No TPTP formula. May not be expressible in strict first order.	People.kif 1517-1519	Zoroastrian is an attribute of an object if and only if the object is a member of zoroastrianism

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	Media.kif 1970-1978	There exists a time interval such that the time interval is an instance of time interval and the time interval finishes the time of existence of Jesus of Nazareth and the time interval starts the time of existence of Twelve apostles and for all an entity if the entity is a member of Twelve apostles holds during the time interval, then Jesus of Nazareth is a friend of the entity holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Government.kif 3181-3181	Denmark is not a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3182-3182	Sweden is not a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3183-3183	United kingdom is not a member of european monetary union

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Government.kif 3161-3161	Austria is a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Media.kif 2618-2618	Baker island is a member of United states minor outlying islands
No TPTP formula. May not be expressible in strict first order.	Government.kif 2865-2865	Belgium is a member of benelux economic union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3162-3162	Belgium is a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3163-3163	Cyprus is a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3164-3164	Estonia is a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3165-3165	Finland is a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3166-3166	France is a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3167-3167	Germany is a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3168-3168	Greece is a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Media.kif 2619-2619	Howland island is a member of United states minor outlying islands
No TPTP formula. May not be expressible in strict first order.	Government.kif 3169-3169	Ireland is a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3170-3170	Italy is a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Media.kif 2620-2620	Jarvis island is a member of United states minor outlying islands
No TPTP formula. May not be expressible in strict first order.	Media.kif 2625-2625	Johnston atoll is a member of United states minor outlying islands
No TPTP formula. May not be expressible in strict first order.	Media.kif 2621-2621	Kingman reef is a member of United states minor outlying islands
No TPTP formula. May not be expressible in strict first order.	Government.kif 3171-3171	Latvia is a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3172-3172	Lithuania is a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Government.kif 2867-2867	Luxembourg is a member of benelux economic union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3173-3173	Luxembourg is a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3174-3174	Malta is a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Media.kif 2626-2626	Midway islands is a member of United states minor outlying islands
No TPTP formula. May not be expressible in strict first order.	Media.kif 2622-2622	Navassa island is a member of United states minor outlying islands
No TPTP formula. May not be expressible in strict first order.	Government.kif 2866-2866	Netherlands is a member of benelux economic union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3175-3175	Netherlands is a member of european monetary union

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: