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 1637-1639
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1634-1634	The number 1 argument of attribute is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1635-1635	The number 2 argument of attribute is an instance of attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1629-1629	attribute is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1632-1632	attribute is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1630-1630	attribute is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1631-1631	attribute is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1633-1633	attribute is a subrelation of property

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1648-1648	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.	FinancialOntology.kif 2472-2472	bond rating is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18682-18682	color is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2463-2463	credit ranking is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13718-13718	developmental form is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1816-1816	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 1911-1911	hasGUEState is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 118-118	has molecular structural attribute is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2115-2115	host status is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	Music.kif 339-339	music genre is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 2581-2581	organizational objective is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 60-60

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17671-17678	An object is an instance of sentient agent and living is an attribute of the object if and only if there exists an attribute such that the attribute is an instance of consciousness attribute and the attribute is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29528-29538	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 14417-14421	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.	Merge.kif 9597-9602	Fillable is an attribute of an object if and only if there exists another object such that the other object is an instance of hole and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	People.kif 683-685	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 709-711	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 1354-1356	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 1232-1234	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 1240-1242	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 727-729	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 764-766	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 776-778	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 1313-1315	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 1368-1370	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 1254-1256	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 1325-1327	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 1418-1420	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 1337-1339	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 1464-1466	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 1268-1270	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 1435-1437	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 1290-1292	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 1282-1284	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 1384-1386	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 1479-1481	Shintoist is an attribute of an object if and only if the object is a member of shinto

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.	Merge.kif 17671-17678	An object is an instance of sentient agent and living is an attribute of the object if and only if there exists an attribute such that the attribute is an instance of consciousness attribute and the attribute is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16648-16654	A cognitive agent is an instance of human and for all an agent the agent doesn't employ the cognitive agent if and only if unemployed is an attribute of the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1386-1390	Queen is an attribute of an object if and only if QueenRegnant is an attribute of the object or QueenConsort is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	People.kif 415-446	The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other 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 371-402	The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other 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 225-242	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.	Merge.kif 13081-13087	There exists a process such that the process is an instance of radiating light and an object is a patient of the process and the object is an instance of region if and only if illuminated is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19489-19493	An object is an instance of bull if and only if the object is an instance of cow and male is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19480-19484	An object is an instance of calf if and only if the object is an instance of cow 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 19498-19502	An object is an instance of female cow if and only if the object is an instance of cow and female is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29444-29448	An object is an instance of DamagedVehicle if and only if the object is an instance of vehicle and DeviceDamaged is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19512-19516	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 8556-8560	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 19466-19470	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.	Merge.kif 16966-16971	An object is an instance of substance if and only if there exists an attribute such that the attribute is an instance of physical state and the attribute is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19521-19525	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 2737-2739	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 16244-16253	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 2 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 20050-20057	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 18161-18167	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 193-212	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 and a third entity such that the entity is an instance of zakat and a 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 a fifth entity the third entity(s) and the third entity is an instance of UnitOfCurrency and the fifth entity is greater than the currency measure and 0.025 has the modal force of obligation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11987-11997	If an attribute is an attribute of an object and the attribute is an instance of fingerprint and the object is not an instance of finger, then there exist the attributeR and another object such that the other object is an instrument for the attributeR and the other object is an instance of finger and the attribute is an attribute of the other object and the object is a patient of the attributeR
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16724-16737	If an attribute is an attribute of an object and the attribute is an instance of subjective assessment attribute, then there exist a time position, a process and an agent such that the process is an instance of judging and the agent is an agent of the process and the object is a patient of the process and the attribute is an attribute of the object is a patient of the process and the agent believes the object the attribute the attribute holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17065-17074	If monochromatic is an attribute of an object and another object is a superficial part of the object and an attribute is an attribute of the other object and the attribute is an instance of primary color, then for all a third object if the third object is a superficial part of the object, then the attribute is an attribute of the third object
No TPTP formula. May not be expressible in strict first order.	Military.kif 286-297	If an attribute is an attribute of an agent and the attribute is an instance of commissioned officer rank, then there exist a process and an object such that the process is an instance of managing and the agent is an agent of the process and the object is a patient of the process and the object is an instance of military organization or soldier is an attribute of the object

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.	Government.kif 1227-1234	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 912-920	?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 867-876	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.	People.kif 466-476	The children born per woman of a geopolitical area and the year an integer 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 890-901	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 928-941	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.	Food.kif 230-231	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 762-768	?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.

Geography.kif 4508-4508

Polar climate zone is an attribute of southern ocean

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

KB Term:			Term intersection

English Word: