TreeView 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 1242-1244
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1237-1237	The number 1 argument of member is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1238-1238	The number 2 argument of member is an instance of collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1234-1234	member is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1235-1235	member is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1236-1236	member is an instance of intransitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1240-1240	member is internally related to element
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1239-1239	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.	Government.kif 2423-2423	associate in organization is a subrelation of member
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7234-7234	group member is a subrelation of member
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16235-16235	student is a subrelation of member
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16306-16306	teacher is a subrelation of member
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36978-36978
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 154-154
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36977-36977
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36976-36976

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 3595-3597	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 501-505	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 2789-2793	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 2869-2873	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 3441-3445	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 3484-3488	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 4250-4254	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 3742-3751	If a collection are first time buyers on a WebSite 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 WebSite 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 3736-3740	If a collection are first time buyers on a WebSite 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 3753-3763	If a collection are first time buyers on a WebSite 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 WebSite 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 3790-3799	If a collection are first time sellers on a WebSite 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 WebSite 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 3784-3788	If a collection are first time sellers on a WebSite 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 3801-3811	If a collection are first time sellers on a WebSite 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 WebSite 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.	Media.kif 3195-3200	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 7242-7249	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 1764-1769	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 3215-3219	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 22941-22951	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 3409-3424	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 auction , then the total of values in the class described by a symbolic string is an 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 3447-3467	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 21828-21836	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 182-197	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 176-180	If a collection is an instance of web listing category and a physical is a member of the collection, then the physical is an instance of web listing

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 686-688	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 712-714	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 1357-1359	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 1235-1237	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 1243-1245	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 730-732	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 767-769	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 779-781	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 1316-1318	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 1371-1373	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 1257-1259	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 1328-1330	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 1421-1423	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 1340-1342	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 1467-1469	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 1271-1273	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 1438-1440	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 1293-1295	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 1285-1287	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 1387-1389	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 1482-1484	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 1497-1499	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 1406-1408	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 1512-1514	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 1527-1529	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 1968-1976	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 JesusOfNazareth and the time interval starts the time of existence of TwelveApostles and for all an entity if the entity is a member of TwelveApostles holds during the time interval, then JesusOfNazareth is a friend of the entity holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Government.kif 3211-3211	Denmark is not a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3212-3212	Sweden is not a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3213-3213	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 3191-3191	Austria is a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Media.kif 2606-2606	Baker island is a member of UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order.	Government.kif 2895-2895	Belgium is a member of benelux economic union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3192-3192	Belgium is a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3193-3193	Cyprus is a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3194-3194	Estonia is a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3195-3195	Finland is a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3196-3196	France is a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3197-3197	Germany is a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3198-3198	Greece is a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Media.kif 2607-2607	Howland island is a member of UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order.	Government.kif 3199-3199	Ireland is a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3200-3200	Italy is a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Media.kif 2608-2608	Jarvis island is a member of UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order.	Media.kif 2613-2613	Johnston atoll is a member of UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order.	Media.kif 2609-2609	Kingman reef is a member of UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order.	Government.kif 3201-3201	Latvia is a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3202-3202	Lithuania is a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Government.kif 2897-2897	Luxembourg is a member of benelux economic union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3203-3203	Luxembourg is a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3204-3204	Malta is a member of european monetary union
No TPTP formula. May not be expressible in strict first order.	Media.kif 2614-2614	Midway islands is a member of UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order.	Media.kif 2610-2610	Navassa island is a member of UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order.	Government.kif 2896-2896	Netherlands is a member of benelux economic union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3205-3205	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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: