TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22074-22076
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22071-22071	The number 1 argument of member type is an instance of collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22072-22072	The number 2 argument of member type is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22070-22070	member type is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1695-1695
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1694-1694
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1693-1693
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37026-37026
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37025-37025
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37024-37024

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 22078-22082

If a class is a member type of a collection and a physical is a member of the collection,
then the physical is an instance of the class

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 166-171	If all rooms in a room inventory have a kind of physical, then for all a kind of hotel unit if a kind of hotel unit is a member type of the room inventory, then a kind of physical is an amenity in the kind of hotel unit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 228-233	If all rooms in a room inventory have policy a policy, then for all a kind of hotel unit if a kind of hotel unit is a member type of the room inventory, then the policy is a policy that applies to the kind of hotel unit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 213-218	If all rooms in a room inventory have service a kind of physical, then for all a kind of hotel unit if a kind of hotel unit is a member type of the room inventory, then a kind of physical is an amenity in the kind of hotel unit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2852-2861	If an agent may have an integer adults and the agent fulfills another agent, then there exists a collection such that the collection is an instance of group of people and human adult is a member type of the collection and the integer is a member count of the collection and the collection is a potential customer for the other agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2872-2883	If an agent may have an integer children and the agent fulfills another agent, then there exist a collection and another collection such that the collection is an instance of group of people and the other collection is a proper sub-collection of the collection and the other collection is an instance of group of people and human child is a member type of the other collection and the integer is a member count of the other collection and the collection is a potential customer for the other agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2833-2842	If an agent may have an integer occupants and the agent fulfills another agent, then there exists a collection such that the collection is an instance of group of people and human is a member type of the collection and the integer is a member count of the collection and the collection is a potential customer for the other agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30332-30347	If there is a shortage of a quantity of a kind of object for a cognitive agent at a currency measure during a time interval and the quantity is an instance of integer, then the cognitive agent desires there exist an entity and another entity such that the entity is an instance of buying and the time of existence of the entity takes place during the time interval and the object transferred in the entity is the other entity and the currency measure is a transaction amount of the entity and the cognitive agent is an agent of the entity and the other entity is an instance of collection and a kind of object is a member type of the other entity and the quantity is a member count of the other entity and the cognitive agent possesses the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30276-30286	If there is a shortage of a quantity of a kind of object for a cognitive agent at a currency measure during a time interval and the quantity is an instance of integer, then the cognitive agent desires there exists an entity such that the entity is an instance of collection and a kind of object is a member type of the entity and the quantity is a member count of the entity and the cognitive agent possesses the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30299-30314	If there is a shortage of an integer of a kind of object for an agent at a currency measure during a time interval and the integer is an instance of integer, then there don't exist a transfer and a collection such that the transfer is an instance of buying and the time of existence of the transfer takes place during the time interval and the object transferred in the transfer is the collection and the currency measure is a transaction amount of the transfer and the agent is an agent of the transfer and the collection is an instance of collection and a kind of object is a member type of the collection and the integer is a member count of the collection and the agent possesses the collection
No TPTP formula. May not be expressible in strict first order.	naics.kif 7773-7782	If florists is an attribute of an object, then the object has the purpose there exist an entity and another entity such that the other entity is an instance of designing and the entity is an instance of collection and flower is a member type of the entity and the entity is a patient of the other entity and the object is an agent of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9913-9925	If a heart beats at a rate of an integer beats per a time interval, then there exists a collection such that the collection is an instance of collection and HeartBeat is a member type of the collection and the integer is a member count of the collection and if a process is a member of the collection, then the heart is a patient of the process and the time of existence of the process takes place during the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25335-25342	If a corpuscular object is an instance of outlet adapter, then there exists a collection such that the collection is an instance of collection and hole is a member type of the collection and the collection is a part of the corpuscular object and the corpuscular object is made of metal
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1053-1066	If an object is an instance of bowling ball, then there exists a collection such that the collection is an instance of collection and hole is a member type of the collection and 3 is a member count of the collection and the collection is located at the object and the collection has the purpose there exist an entity and another entity such that the other entity is a member of the collection and the entity is an instance of finger and the entity partially fills the other entity
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1090-1096	If an object is an instance of bowling facility, then there exists a collection such that the collection is an instance of collection and bowling lane is a member type of the collection and the collection is located at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3468-3470	If a collection is an instance of Fleet, then vehicle is a member type of the collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7601-7607	If an entity is an instance of LargeGroupProcess, then there exists a collection such that the collection is an instance of collection and a physical is a member of the collection and agent is a member type of the collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10745-10747	If a collection is an instance of RibCage, then rib is a member type of the collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24734-24743	If an object is an instance of self-service laundry, then there exist a collection and another collection such that the collection is an instance of collection and clothes washing machine is a member type of the collection and the collection is located at the object and the other collection is an instance of collection and clothes dryer is a member type of the other collection and the other collection is located at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25278-25284	If an object is an instance of electrical outlet, then there exists a collection such that the collection is an instance of collection and hole is a member type of the collection and the collection is a part of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25286-25294	If a physical is an instance of electrical outlet, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of power source and the other entity is an instance of collection and wire line is a member type of the other entity and the other entity connects the physical and the entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1698-1700	If a collection is an instance of mini bar, then food for human is a member type of the collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25465-25469	If a collection is an instance of public address system, then microphone is a member type of the collection and speaker is a member type of the collection
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 138-140	If a collection is an instance of room inventory, then hotel unit is a member type of the collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26337-26341	If a collection is an instance of surveillance system, then camera is a member type of the collection and video display is a member type of the collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22093-22099	If a collection is member type count a set or class for a nonnegative integer, then there exists another collection such that the other collection is a proper sub-collection of the collection and the nonnegative integer is a member count of the other collection and the set or class is a member type of the other collection

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: