TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1714-1715
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1723-1725
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 318-319
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1720-1720	The number 1 argument of attribute is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1721-1721	The number 2 argument of attribute is an instance of attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1715-1715	attribute is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1718-1718	attribute is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1716-1716	attribute is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1717-1717	attribute is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1719-1719	attribute is a subrelation of property

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1734-1734	manner and attribute are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 59-59
No TPTP formula. May not be expressible in strict first order.	english_format.kif 59-59
No TPTP formula. May not be expressible in strict first order.	french_format.kif 56-56
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1878-1878
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 8-8
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 73-73
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 65-65
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 73-73
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 75-75
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 55-55
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 63-63
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2510-2510	bond rating is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19385-19385	color is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2501-2501	credit ranking is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14367-14367	developmental form is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1873-1873	device state is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 86-86	economy type is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 130-130	government type is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1882-1882	has GUE state is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 163-163	has molecular structural attribute is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2109-2109	host status is a subrelation of attribute

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.	Mid-level-ontology.kif 30202-30212	An entity is an instance of body part and bare is an attribute of the entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of clothing and the other entity covers the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15027-15031	Literacy attribute is an attribute of an agent if and only if the agent has the skill to do reading and the agent has the skill to do writing
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

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 357-390	A year is an instance of the year the yearEAR and the male life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	A year is an instance of the year an integer and the female life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	Government.kif 1364-1368	Queen is an attribute of an object if and only if Queen regnant is an attribute of the object or Queen consort is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	People.kif 206-223	The male to female ratio of a geopolitical area is equal to a real number if and only if an integer is equal to the number of instances in the class described by a symbolic string and another integer is equal to the number of instances in the class described by another symbolic string and the integer and the other integer is equal to the real number
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1783-1787	A human can hear frequency of -10 dB(A)(s) at 15 dB(A)(s) decibels if and only if normal hearing sensitivity is an attribute of the human
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1794-1798	A human can hear frequency of 16 dB(A)(s) at 25 dB(A)(s) decibels if and only if borderline hearing sensitivity is an attribute of the human
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1805-1809	A human can hear frequency of 26 dB(A)(s) at 40 dB(A)(s) decibels if and only if mild hearing loss is an attribute of the human
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1815-1819	A human can hear frequency of 41 dB(A)(s) at 55 dB(A)(s) decibels if and only if moderate hearing loss is an attribute of the human
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1826-1830	A human can hear frequency of 56 dB(A)(s) at 70 dB(A)(s) decibels if and only if moderately severe hearing loss is an attribute of the human
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1837-1841	A human can hear frequency of 71 dB(A)(s) at 90 dB(A)(s) decibels if and only if severe hearing loss is an attribute of the human
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1848-1852	A human can hear frequency of 91 dB(A)(s) at 200 dB(A)(s) decibels if and only if profound hearing loss is an attribute of the human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17325-17333	An entity is an instance of human and for all another entity the other entity doesn't employ the entity holds during a time position if and only if unemployed person is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20227-20231	An object is an instance of bull if and only if the object is an instance of cattle and female is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20245-20249	An object is an instance of bull if and only if the object is an instance of cattle and male is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20236-20240	An object is an instance of calf if and only if the object is an instance of cattle and non fully formed is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30118-30122	An object is an instance of damaged vehicle if and only if the object is an instance of vehicle and device damaged is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20259-20263	An object is an instance of hen if and only if the object is an instance of chicken and female is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9006-9010	An object is an instance of ice if and only if the object is an instance of water and solid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20213-20217	An object is an instance of lamb if and only if the object is an instance of sheep and non fully formed is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20268-20272	An object is an instance of rooster if and only if the object is an instance of chicken and male is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2768-2770	If an organization provides a hotel package, then traveler accommodation is an attribute of the organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16879-16888	If a human's almaMater is a post secondary school, then there exists a process such that the process is an instance of educational process and the process ends up at the human and the process is located at the post secondary school and student is an attribute of the human holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20787-20794	If a human &actedIn a content bearing physical. and a process is an instance of dramatic acting and the human is a patient of the process and the content bearing physical is a result of the process, then actor is an attribute of the human holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18864-18870	If an agent is an agent of a process and an entity is a result of the process and the entity is an instance of art work, then artist is an attribute of the agent holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	If muslim is an attribute of an agent and value of belongings of the agent is equal to a currency measure, then the statement there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of zakat and the fourth entity is an instance of year and the fourth entity takes place during the time of existence of the agent and fully formed is an attribute of the agent holds during the fourth entity and the agent is an agent of the entity and the other entity is a patient of the entity and value of the other entity is the fifth entity the third entity(s) and the third entity is an instance of unit of currency and the fifth entity is greater than the currency measure and 0.025 has the modal force of obligation

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.	People.kif 456-469	A year is an instance of the year an integer and the children born per woman of a geopolitical area and the year is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Government.kif 1205-1212	For all ?AGENT, ?VOTER,, , ?ELECTION and ?VOTING if ?ELECTION is an instance of the election of ?AGENT and ?VOTING is an instance of the voting of ?ELECTION and ?VOTER is an agent of ?VOTING, then male is an attribute of ?VOTER contains information exclusive male suffrage
No TPTP formula. May not be expressible in strict first order.	WMD.kif 921-929	?SYMPTOM is a biochemical agent syndrome of ?AGENT and ?AGENT biochemical agent antidote ?SUBSTANCE for ?PROCESS and ?SAMPLE is an instance of ?SUBSTANCE and ?THERAPY is an instance of ?PROCESS and ?ORGANISM experiences ?THERAPY and ?SAMPLE is a patient of ?THERAPY decreases likelihood of ?SYMPTOM is an attribute of ?ORGANISM
No TPTP formula. May not be expressible in strict first order.	Military.kif 863-872	The available for military service male of a geopolitical area is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Military.kif 886-897	The fit for military service male of a geopolitical area is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Military.kif 924-937	The reaching military age annually male of a geopolitical area and a year is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4590-4593	There exists a cognitive agent such that NewReporter is an attribute of the cognitive agent and Pro Publica Inc. employs the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Food.kif 1902-1903	There exist a meal and a region such that the appropriate meal for the meal in the region is an attribute of the meal
No TPTP formula. May not be expressible in strict first order.	WMD.kif 767-773	?SYMPTOM is a biochemical agent syndrome of ?AGENT and ?PROCESSTYPE is a biochemical agent delivery of ?AGENT and ?PROCESS is an instance of ?PROCESSTYPE and ?ORGANISM experiences ?PROCESS increases likelihood of ?SYMPTOM is an attribute of ?ORGANISM

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20428-20428	Fodder is an attribute of hay
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4681-4681	Polar climate zone is an attribute of southern ocean
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 15-15	Relational attribute is an attribute of tourniquet

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: