TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3857-3861
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17479-17485
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17477-17477	The number 1 argument of modal attribute is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17478-17478	The number 2 argument of modal attribute is an instance of normative attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17473-17473	modal attribute is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17472-17472	modal attribute is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17474-17474	modal attribute is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17475-17475	modal attribute is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17476-17476	modal attribute is a subrelation of property

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 590-590
No TPTP formula. May not be expressible in strict first order.	english_format.kif 594-594
No TPTP formula. May not be expressible in strict first order.	french_format.kif 353-353
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 192-192
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2100-2100
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 305-305
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 775-775
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 230-230
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 375-375
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 393-393
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38210-38210
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 591-591
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38209-38209
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38208-38208
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 232-232

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15221-15228	The statement a formula has the modal force of legal if and only if there doesn't exist another formula such that the statement the other formula has the modal force of law and the other formula is not a consistent of the formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17591-17593	The statement a formula has the modal force of necessity if and only if the statement the formula doesn't have the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17654-17656	The statement a formula has the modal force of obligation if and only if the statement the formula doesn't have the modal force of permission
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17690-17692	The statement a formula has the modal force of prohibition if and only if the statement the formula doesn't have the modal force of permission
No TPTP formula. May not be expressible in strict first order.	Dining.kif 772-795	If an agent is an instance of agent and a cognitive agent is a potential customer for the agent and the statement an entity is an instance of reserving and the entity ends up at the agent has the modal force of necessity and probability of there exists the entityES1 such that the entityES1 is an instance of reservation and the cognitive agent reserves the entityES1 and the agent fulfills the entityES1 provided that the agent is a customer of the cognitive agent holds is a real number and probability of there doesn't exist the entityES2 such that the entityES2 is an instance of reservation and the cognitive agent reserves the entityES2 and the agent fulfills the entityES2 provided that the agent is a customer of the cognitive agent holds is another real number, then the other real number is less than the real number
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 44-59	If a process is an instance of bleeding and an entity is an instance of death and a formula is an instance of human and an agent is an instance of human and the agent experiences the process and the formula is near to the agent and the statement the process causes the entity has the modal force of likely, then there exists another entity such that the other entity is an instance of applying a tourniquet and the formula is an agent of the other entity and the other entity ends up at the agent is obliged to perform tasks of type the formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17487-17491	If the statement a formula has the modal force of a normative attribute and the formula entails another formula, then the statement the other formula has the modal force of the normative attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15185-15190	If the statement an entity has the modal force of law holds during a time interval, then there exists another time interval such that legislative bill is an attribute of the entity holds during the other time interval and the other time interval happens earlier than the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17704-17710	If the statement a formula has the modal force of likely, then the probability of the formula is true is greater than the probability of the formula is false
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17595-17597	If the statement a formula has the modal force of necessity, then the statement the formula has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17658-17660	If the statement a formula has the modal force of obligation, then the statement the formula has the modal force of permission
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17493-17495	If the statement a formula has the modal force of permission, then the statement the formula has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17716-17722	If the statement a formula has the modal force of unlikely, then the probability of the formula is false is greater than the probability of the formula is true

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15221-15228	The statement a formula has the modal force of legal if and only if there doesn't exist another formula such that the statement the other formula has the modal force of law and the other formula is not a consistent of the formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17591-17593	The statement a formula has the modal force of necessity if and only if the statement the formula doesn't have the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17654-17656	The statement a formula has the modal force of obligation if and only if the statement the formula doesn't have the modal force of permission
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17690-17692	The statement a formula has the modal force of prohibition if and only if the statement the formula doesn't have the modal force of permission
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15450-15460	If a cognitive agent has the responsibility to make a proposition a deontic attribute in an agreement and equal the deontic attribute and obligation or equal the deontic attribute and promise, then the statement there exists an entity such that the entity expresses the content of the proposition and the cognitive agent is an agent of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Music.kif 316-322	If an image is the image on an album and an object is an instance of the set of copies on a kind of data storage device of the album and a self connected object contains the object, then the statement the image is a part of the front of the self connected object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7168-7181	If allergic a human and a kind of substance and a kind of substanceUB is an instance of the kind of substance and the kind of substanceUB meets the human holds during a time position, then the statement there exists another entity such that the other entity is an instance of allergic reaction and the human experiences the other entity and the time of existence of the other entity overlaps the time position and the beginning of the time position happens before the beginning of the time of existence of the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31377-31382	If device damaged is an attribute of an object and the object has the purpose a formula, then the statement the formula doesn't have the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31350-31354	If device normal is an attribute of an object and the object has the purpose a formula, then the statement the formula has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5836-5846	If a disease or syndrome is an attribute of an object and a kind of therapeutic process is a treatment for the disease or syndrome and a process is an instance of TherpeuticProcess and the disease or syndromeOC is an agent of the process and the object is a patient of the process and medical doctor is an attribute of the disease or syndromeOC, then the statement the process is an instance of a kind of therapeutic process has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	If muslim is an attribute of an agent and equal value of belongings of the agent and 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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3987-4007	If attention deficit hyperactivity disorder is an attribute of an agent and attention deficit hyperactivity disorder is not an attribute of another agent and equal the agent and the other agent and a process is an instance of a class and another process is an instance of the class and the class is a subclass of intentional psychological process and the agent is an agent of the process and the other agent is an agent of the other process and duration of the time of existence of the process is a time duration and duration of the time of existence of the other process is another time duration, then the statement the other time duration is greater than the time duration has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 134-143	If muslim is an attribute of an object and the object is capable of doing hajj as a agent, then the statement there exists an entity such that the entity is an instance of hajj and the object is an agent of the entity has the modal force of obligation
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1207-1224	If communal is an attribute of an object and the object is an instance of table and a process is an instance of eating and an agent is an agent of the process and the agent is an instance of group of people and the process is located at the object, then the statement there exist an entity, another entity and the object2 such that the other entity is an instance of eating and the entity is an agent of the other entity and equal the agent and the entity and the entity is an instance of group of people and the other entity is located at the object2 and the time of existence of the process meets the time of existence of the other entity and equal the object and the object2 has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27646-27659	If multilingual is an attribute of an agent and a process is an instance of speaking and the agent is an agent of the process, then the statement there exist an entity and another entity such that the entity is an instance of spoken human language and the other entity is an instance of spoken human language and equal the entity and the other entity and the entity is a patient of the process or the other entity is a patient of the process has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28057-28069	If wheelchair accessible is an attribute of an object and the object is an instance of building or the object is an instance of room, then the statement there exist an entity and another entity such that the entity is an instance of motion and the other entity is an instrument for the entity and the other entity is an instance of wheelchair and the entity is located at the object has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3931-3941	If an object is capable of doing a kind of process as a a case role and the object is an instance of device and device damaged is not an attribute of the object, then the statement there exists an entity such that the entity is an instance of a kind of process and the case role the entity and the object has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 157-176	If an organization is capable of doing valet parking as a agent and the organization is a customer of a cognitive agent and the organization is located at an object and a process is an instance of arriving and the cognitive agent is an agent of the process and an entity is a patient of the process and the process ends up at the object, then there exists a human such that the human holds the position of valet in the organization and the statement there exist another entity and a third entity such that the other entity is an instance of valet parking and the human is an agent of the other entity and the entity is a patient of the other entity and the other entity ends up at the third entity and the third entity is an instance of parking area has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 522-538	If an agent is a customer of a cognitive agent and the agent has a kind of physical and a kind of physical is a subclass of process, then the statement there exist an entity, another entity and a third entity such that the other entity is an element of belongings of the agent and the agent is an agent of the entity and the cognitive agent is a patient of the entity and the entity is an instance of the kind of physical or the third entity is an instance of the kind of physical and the entity is a subprocess of the third entity and the entity is located at the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18633-18638	If The defalutMaxValue of a predicate with a positive integer arguments is a quantity. and the predicate @ARGS and equal another entity and the positive integerth element of (@ARGS), then the statement the quantity is greater than the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14875-14884	If the maximum expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of composite unit of measure, then the statement there exist an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is greater than the real number has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14886-14897	If the maximum expected value of a kind of object is a real number an unit of measure(s) and a class is a subclass of non composite unit of measure and the unit of measure is an instance of the class, then the statement there exist an entity, the real numberUANTITY and a third entity such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the third entity(s) and the third entity is an instance of the class and the real numberUANTITY the third entity(s) is greater than the real number the unit of measure(s) has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14825-14836	If the maximum expected radius of a kind of object is a real number an unit of measure(s) and another object is an instance of a kind of object and sphere is an attribute of the other object, then the statement there exists the real numberADIUS such that the radius of the other object is the real numberADIUS the unit of measure(s) and the real numberADIUS is greater than the real number has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14905-14914	If the expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of composite unit of measure, then the statement there exist an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is greater than the real number and 1.5 has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14916-14925	If the expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of composite unit of measure, then the statement there exist an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is less than the real number and 0.5 has the modal force of unlikely

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3171-3171	The statement ADA has the modal force of law
No TPTP formula. May not be expressible in strict first order.	Government.kif 2368-2368	The statement antiterrorism and effective death penalty act has the modal force of law
No TPTP formula. May not be expressible in strict first order.	Government.kif 2366-2366	The statement immigration and nationality act- section219-US has the modal force of law
No TPTP formula. May not be expressible in strict first order.	Government.kif 2363-2363	The statement immigration and nationality act_US has the modal force of law

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

KB Term:			Term intersection

English Word: