TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1882-1886
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2495-2502
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 507-511
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2491-2491	The number 1 argument of patient is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2492-2492	The number 2 argument of patient is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2489-2489	patient is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2490-2490	patient is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2493-2493	patient is a subrelation of involved in event

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 167-167
No TPTP formula. May not be expressible in strict first order.	english_format.kif 168-168
No TPTP formula. May not be expressible in strict first order.	french_format.kif 103-103
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 219-219
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1932-1932
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 55-55
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 85-85
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 206-206
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 257-257
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 122-122
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 104-104
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 411-411
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4158-4158	account used is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25070-25070	controlled is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2005-2005	data processed is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17652-17652	defendant is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	Law.kif 285-285	defense lawyer is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7947-7947	detainee is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	Law.kif 168-168	evidence is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17097-17097	experimental control is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2464-2464	instrument is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12512-12512	attached is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12562-12562	detached is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11466-11466	object transferred is a subrelation of patient

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 28230-28241	A process is an instance of photocopying and a content bearing physical is a patient of the process and the content bearing physical is an instance of visual content bearing object and the content bearing physical contains information a proposition if and only if there exist another content bearing physical and another proposition such that the other content bearing physical is a result of the process and the other content bearing physical is an instance of visual content bearing object and the other content bearing physical contains information the other proposition and the proposition is equal to the other proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22377-22384	If a human acted in 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.	FinancialOntology.kif 489-501	If an agent is an agent of a process and the process originates at an object and a physical is a patient of the process and value of the physical is a currency measure, then there exists a financial transaction such that the financial transaction is a subprocess of the process and the financial transaction is an instance of payment and the currency measure is a transaction amount of the financial transaction and the financial transaction originates at the agent and the financial transaction ends up at the object
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.	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.	UXExperimentalTerms.kif 549-556	If a real number is the confidence in an experimenting and the experimenting is an instance of experimenting and a sentence is an instance of formula and the sentence is a patient of the experimenting and the real number is equal to 100, then the sentence is false
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 540-547	If a real number is the confidence in an experimenting and the experimenting is an instance of experimenting and a sentence is an instance of formula and the sentence is a patient of the experimenting and the real number is equal to 100, then the sentence is true
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 531-537	If a real number is the confidence in an experimenting and the experimenting is an instance of experimenting and a formula is an instance of formula and the formula is a patient of the experimenting, then the real number expresses the probability of the formula
No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-150	If an agent is a customer of a cognitive agent and the agent charges a currency measure in corkage for a kind of object and another object is an instance of a kind of object and there doesn't exist a process such that the process is an instance of buying and the other object is a patient of the process and the process ends up at the cognitive agent and the process originates at the agent and another process is an instance of drinking and the cognitive agent is an agent of the other process and the other object is a resource for the other process, then there exists a third process such that the third process is an instance of corkage and the cognitive agent is an agent of the third process and the third process includes a reference to the other object and the third process ends up at the agent
No TPTP formula. May not be expressible in strict first order.	Cars.kif 809-825	If the damping ratio of a physical system is a real number and the real number is greater than 0 and a process is an instance of tremor and the physical system is a patient of the process and an entity is an instance of unit of length and the amplitude the process is another real number the entity(s) holds during the process1 and the amplitude the process is a third real number the entity(s) holds during the process2 and the process1 takes place during the time of existence of the process and the process2 takes place during the time of existence of the process and the process1 happens earlier than the process2, then the other real number is greater than the third real number
No TPTP formula. May not be expressible in strict first order.	Communications.kif 202-214	If a process ends up at an object and the process is an instance of messaging and an entity is a patient of the process and the object is an instance of telex, then there exist another process and another entity such that the object is an instrument for the other process and the other entity is a result of the other process and the other entity expresses the entity and the other entity is an instance of text and the beginning of the time of existence of the process happens before the beginning of the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3041-3055	If an agent employs a cognitive agent and a process is an instance of do network messaging and an object is a result of the process and not safe for work is an attribute of the object and another process is an instance of seeing and the object is a patient of the other process and the cognitive agent is an agent of the other process, then the statement there exists an entity such that the other process causes the entity and the cognitive agent suffers from the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3023-3039	If an agent employs a cognitive agent and the agent employs another cognitive agent and a process is an instance of do network messaging and an object is a result of the process and not safe for work is an attribute of the object and the cognitive agent is an agent of the process and another process is an instance of seeing and the object is a patient of the other process and the other cognitive agent is an agent of the other process, then the statement there exists the cognitive agentROC such that the process causes the cognitive agentROC and the cognitive agent suffers from the cognitive agentROC has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15650-15667	If edition a positive integer of a kind of content bearing object is equal to another kind of content bearing object and edition another positive integer of a kind of content bearing object is equal to a third kind of content bearing object and the other positive integer is greater than the positive integer and a process is an instance of publication and another process is an instance of publication and an entity is an instance of another kind of content bearing object and another entity is an instance of a third kind of content bearing object and the entity is a patient of the process and the other entity is a patient of the other process and date of the process is a day and date of the other process is another day, then the end of the day happens before the end of the other day
No TPTP formula. May not be expressible in strict first order.	Dining.kif 336-350	If an agent provides an object and the agent is a customer of a cognitive agent and an entity is an instance of the object and the cognitive agent desires there exists another entity such that the other entity is an instance of intentional process and the entity is a patient of the other entity and the cognitive agent is an agent of the other entity, then the statement the agent allows the cognitive agent to perform task of the type the cognitive agent uses the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 847-868	If a kind of physical is free for customers renting a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of an agent and a process is an instance of renting and the entity is a patient of the process and the process ends up at a cognitive agent and an object is an instance of a kind of physical and the agent possesses the object and the agent is a customer of the cognitive agent and the object is an instance of process and the cognitive agent is an agent of the object or the cognitive agent experiences the object or the agent possesses the object and the object is an instance of object and the cognitive agent uses the object, then the object is price 0 united states dollar(s) for the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	If use of a kind of physical is free for a kind of hotel unit and a kind of physical is a subclass of object and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and an object is an instance of the kind of physical and the object is located at the temporary residence and a process is an instance of process and the human is an agent of the process and the object is a patient of the process or the object is an instrument for the process or the object is a resource for the process, then the object is price 0 united states dollar(s) for the human
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 364-378	If use of a kind of physical is free for a kind of hotel unit and a kind of physical is a subclass of process and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and the human is a patient of a process and the process is an instance of the kind of physical or another process is an instance of the kind of physical and the process is a subprocess of the other process and the process is located at the temporary residence, then the process is price 0.0 united states dollar(s) for the human
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 815-836	If use of a kind of physical is free for a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of an agent and a process is an instance of renting and the entity is a patient of the process and the agent is an agent of the process and the process ends up at another entity and a kind of physical is a subclass of object, then the statement there exist a third entity and a fourth entity such that the third entity is an instance of the kind of physical and the fourth entity is an instance of process and the third entity is a resource for the fourth entity or the third entity is an instrument for the fourth entity or the third entity is a patient of the fourth entity and the other entity is an agent of the fourth entity or the other entity experiences the fourth entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Law.kif 486-495	If an agent desires dead is an attribute of an entity holds during a time interval and the agentURDER is an instance of murder and the agent is an agent of the agentURDER and the entity is a patient of the agentURDER and the time interval happens earlier than the time of existence of the agentURDER, then premeditated is an attribute of the agentURDER
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23112-23123	If a process is an instance of aborting and an entity is a patient of the process and the entity is an instance of woman, then pregnant is an attribute of the entity holds during the beginning of the time of existence of the process and pregnant is not an attribute of the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1003-1007	If a process is an instance of accrediting and an entity is a patient of the process, then the entity is an instance of educational organization
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6274-6292	If a process is an instance of amputation and an entity is a patient of the process and an object is an instance of limb, then there exist another object and a third object such that the other object is a part of the object and the third object is a part of the other object and the third object is an instance of bone and the other object is a part of the entity holds during immediately before the time of existence of the process and the other object is not a part of the entity holds during immediately before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4685-4691	If an object is an instance of anchor and the objectTTACH is an instance of attaching and the object is an instrument for the objectTTACH and an entity is a patient of the objectTTACH, then the entity is an instance of water vehicle
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 957-966	If a process is an instance of anesthetizing and an entity is a patient of the process, then unconscious is an attribute of the entity and pain is not an attribute of the entity holds during the time of existence of the process

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 1596-1602	Legal agent is an attribute of an entity holds during a time position if and only if the entity is capable of doing legal action as a agent or the entity is capable of doing legal action as a patient holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22369-22375	If a human acted in a content bearing physical., then there exists a process such that the 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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 193-199	If an object was advertisedOn a web site, then there exists a web listing such that the web listing is an instance of advertising and the web listing is hosted on the web site and the object is a patient of the web listing
No TPTP formula. May not be expressible in strict first order.	Government.kif 669-676	If a kind of time position is an agreement adoption date of a proposition, then there exist a process and another time position such that the process is an instance of committing and the other time position is an instance of a kind of time position and the proposition is a patient of the process and the process exists during the other time position
No TPTP formula. May not be expressible in strict first order.	emotion.kif 374-387	If appraisal as just treatment is an attribute of a cognitive agent and the cognitive agentJT is an instance of appraisal process and the cognitive agent is an agent of the cognitive agentJT, then there exist another process and the cognitive agent2 such that the other process is an instance of process and the cognitive agentJT includes a reference to the other process and the cognitive agent2 is an agent of the other process and the cognitive agent is not equal to the cognitive agent2 and the cognitive agent is a patient of the other process and the cognitive agent wants the other process
No TPTP formula. May not be expressible in strict first order.	emotion.kif 349-363	If appraisal as unjust treatment is an attribute of a cognitive agent and the cognitive agentUJ is an instance of appraisal process and the cognitive agent is an agent of the cognitive agentUJ, then there exist another process and the cognitive agent2 such that the other process is an instance of process and the cognitive agentUJ includes a reference to the other process and the cognitive agent2 is an agent of the other process and the cognitive agent is not equal to the cognitive agent2 and the cognitive agent is a patient of the other process and the cognitive agent doesn't want the other process
No TPTP formula. May not be expressible in strict first order.	Biography.kif 765-784	If voice actor is an attribute of an agent and a process is an instance of dramatic acting and the agent is an agent of the process and another process is an instance of linguistic communication and the agent is an agent of the other process and the other process is a subprocess of the process, then there don't exist a third process and another agent such that the third process is an instance of seeing and the agent is a patient of the third process and the other agent is an agent of the third process and there exist a fourth process and the other agent such that the fourth process is an instance of hearing and the agent is a patient of the fourth process and the other agent is an agent of the fourth process
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4201-4225	If toxic and infectious substance is an attribute of an object and the object is an instance of substance or the object is an instance of microorganism, then there exist an agent, a process,, , another process and a third kind of process such that the agent is an instance of human or the agent is an instance of animal and the object is near to the agent and the process is an instance of inhaling or the process is an instance of ingesting or the process is an instance of touching and the agent is an agent of the process and the object is a patient of the process and the process causes the other process and the agent is a patient of the other process and the other process is an instance of a third kind of process and the object is capable of doing the third kind of process as a resource and the third kind of process is a subclass of injuring or the third kind of process is a subclass of death
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
No TPTP formula. May not be expressible in strict first order.	Music.kif 410-421	If demo recording is an attribute of an object and the object is an instance of recording, then the object has the purpose there exist an entity, another entity and the objectUSIC such that the entity is an instance of demonstrating and the object is a record of the objectUSIC and the objectUSIC is a patient of the entity and the entity ends up at the other entity and the other entity is an instance of group of people
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13868-13878	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 17492-17505	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 result 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.	Military.kif 363-374	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2898-2914	If FOK order is an attribute of an agreement and a time interval is an agreement period of the agreement, then there exist a process and another time interval such that the process is an instance of filling an order and the agreement is a patient of the process and the time of existence of the process is equal to the other time interval and the other time interval starts the time interval or there exist another process and a third time interval such that the other process is an instance of cancelling an order and the agreement is a patient of the other process and the time of existence of the other process is equal to the third time interval and the third time interval starts the time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2934-2950	If GTC order is an attribute of an agreement and a time interval is an agreement period of the agreement, then there exist a process and another time interval such that the process is an instance of filling an order and the agreement is a patient of the process and the time of existence of the process is equal to the other time interval and the time interval overlaps the other time interval or there exist another process and a third time interval such that the other process is an instance of cancelling an order and the agreement is a patient of the other process and the time of existence of the other process is equal to the third time interval and the third time interval finishes the time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2871-2887	If IOC order is an attribute of an agreement and a time interval is an agreement period of the agreement, then there exist a process and another time interval such that the process is an instance of filling an order and the agreement is a patient of the process and the time of existence of the process is equal to the other time interval and the other time interval starts the time interval or there exist another process and a third time interval such that the other process is an instance of cancelling an order and the agreement is a patient of the other process and the time of existence of the other process is equal to the third time interval and the third time interval starts the time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2025-2046	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for buying for a security and the measure of the security is a physical quantity and a real number an unit of measure(s) is a limit price of the financial transaction and the unit of measure is an instance of unit of currency and an agent asks for another real number the unit of measure(s) for the security and the other real number is less than or equal to the real number, then the agreement is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2048-2069	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for selling for a security and the measure of the security is a physical quantity and a real number an unit of measure(s) is a limit price of the financial transaction and an agent bids another real number the unit of measure(s) for the security and the unit of measure is an instance of unit of currency and the other real number is greater than or equal to the real number, then the agreement is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1998-2007	If market order is an attribute of a financial transaction and broker is an attribute of an agreement and the agreement is a party to agreement of the financial transaction and the financial transaction is order for another kind of financial transaction for a security, then the agreement is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1477-1485	If duty free is an attribute of an object and the object is an instance of product, then there doesn't exist a process such that the process is an instance of duty tax and the object is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1489-1502	If duty free is an attribute of an object and the object is an instance of store, then there exist a geopolitical area, an entity,, , another kind of object and a process such that the geopolitical area is an instance of geopolitical area and the object is located at the geopolitical area and another kind of object is a subclass of object and the other kind of object is an import commodity type of the geopolitical area and the entity is an instance of the other kind of object and the process is an instance of selling and the entity is a patient of the process and the process is located at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27648-27661	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 the entity is not equal to 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.	Hotel.kif 1946-1957	If traveler accommodation is an attribute of an agent and the agent is capable of doing service as a agent, then there exist a cognitive agent and an object such that the agent employs the cognitive agent and maid is an attribute of the cognitive agent and the object is an instance of hotel unit and the object is a part of belongings of the agent and the object is capable of doing service as a patient and the cognitive agent is capable of doing service as a service provider
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22218-22240	If waiter is an attribute of a cognitive agent and the cognitive agent is an instance of human and an agent employs the cognitive agent and the agent is an instance of restaurant and the agent is a customer of another cognitive agent and the other cognitive agent is located at an object and the object is an instance of table, then there exist another object, an entity,, , another entity and a third object such that the agent possesses the third object and the third object is an instance of kitchen area and the other object is an instance of dining area and the object is located at the other object and the cognitive agent has the purpose the entity is an instance of carrying and the cognitive agent is an agent of the entity and the entity originates at the third object and the entity ends up at the object and the other entity is a patient of the entity and the other entity is an instance of food for human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13979-13992	If a real number an unit of measure(s) is a boiling point of a kind of pure substance and an entity is an instance of a kind of pure substance and the measure of the entity is another real number the unit of measure(s) holds during a time interval and the unit of measure is an instance of unit of temperature and the other real number is greater than or equal to the real number, then gas is an attribute of the entity holds during the time interval or there exists a process such that the time interval overlaps the time of existence of the process and the process is an instance of boiling and the entity is a patient of the process

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.	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.	Mid-level-ontology.kif 19773-19790	There exist ?X, ?CUT,, , ?PAPER,, , ?CBO and ?INFO such that ?X is an instance of paper shredder and ?CUT is an instance of cutting and ?X is an instrument for ?CUT and ?PAPER is an instance of paper and ?PAPER is a patient of ?CUT and ?CBO is located at ?PAPER and ?CBO is an instance of visual content bearing object and ?CBO contains information ?INFO decreases likelihood of there exists ?READ such that ?READ is an instance of interpreting and ?INFO is a patient of ?READ and the time of existence of ?CUT happens earlier than the time of existence of ?READ
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4566-4571	There exist a process and an entity such that the process is an instance of disseminating and Netflix Corp. is an agent of the process and the entity is a patient of the process and the entity is an instance of motion picture

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

KB Term:			Term intersection

English Word: