TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1573-1575
No TPTP formula. May not be expressible in strict first order.	Merge.kif 930-933
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 147-149
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 172-174
No TPTP formula. May not be expressible in strict first order.	Merge.kif 926-926	proper part is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 927-927	proper part is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 928-928	proper part is a subrelation of part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 175-175
No TPTP formula. May not be expressible in strict first order.	english_format.kif 176-176
No TPTP formula. May not be expressible in strict first order.	french_format.kif 107-107
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 234-234
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1936-1936
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 59-59
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 65-65
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 220-220
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 272-272
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 126-126
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 112-112
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 426-426
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16083-16083	engineering subcomponent is a subrelation of proper part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14045-14045	geographic subregion is a subrelation of proper part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1255-1255	physical end is a subrelation of proper part
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5685-5685	stream outfall is a subrelation of proper part
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 176-176
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47798-47798
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47797-47797
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47796-47796
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 69-69

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10052-10056	If an object fills a hole and another hole is a proper part of the hole, then the object completely fills the other hole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10058-10062	If an object fills a hole and another object is a proper part of the object, then the other object properly fills the hole
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1909-1915	If a GUI element is an instance of GUI element and the GUI element has state GUE active state and the GUI element is a proper part of another GUI element and the other GUI element is an instance of GUI element, then the other GUI element has state GUE active state
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2082-2088	If an entity_SM is an instance of GUI element and the entity_BIG is an instance of GUI element and the entity_SM is a proper part of the entity_BIG and the entity_BIG has state GUE covered state, then the entity_SM has state GUE covered state
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2001-2007	If an entity_SM is an instance of GUI element and the entity_BIG is an instance of GUI element and the entity_SM is a proper part of the entity_BIG and the entity_BIG has state GUE non visible state, then the entity_SM has state GUE non visible state
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2029-2035	If an entity_SM is an instance of GUI element and the entity_BIG is an instance of GUI element and the entity_SM is a proper part of the entity_BIG and the entity_BIG has state GUE offscreen state, then the entity_SM has state GUE offscreen state
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1977-1983	If an entity_SM is an instance of GUI element and the entity_BIG is an instance of GUI element and the entity_SM is a proper part of the entity_BIG and the entity_BIG has state GUE passive state, then the entity_SM has state GUE passive state
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9939-9947	If an object is an instance of hole and another object is a proper part of the object, then there exists a third object such that the object meets the third object and the other object doesn't meet the third object
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2423-2430	If an uncovering graphical window is an instance of uncovering graphical window and a GUI element is a patient of the uncovering graphical window and the GUI element is an instance of interface window and an object is a proper part of the GUI element and the object is an instance of cursor, then the uncovering graphical window uncovers the GUI element
No TPTP formula. May not be expressible in strict first order.	Merge.kif 935-940	If an object is a proper part of another object, then the object is a part of the other object and the other object is not a part of the object

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9885-9892	If a hole is a hole in a self connected object and the hole is a hole in another self connected object, then there exists a third self connected object such that the third self connected object is a proper part of the intersection of the parts of the self connected object and the other self connected object and the hole is a hole in the third self connected object
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1935-1948	If a GUI element is an instance of GUI element and another GUI element is an instance of GUI element and the GUI element is not an instance of interface window and the other GUI element is not an instance of interface window and the GUI element is displayed on a computer screen and the other GUI element is displayed on the computer screen and the GUI element has state GUE active state and the other GUI element has state GUE active state, then the GUI element is a proper part of the other GUI element or the other GUI element is a proper part of the GUI element or the GUI element is equal to the other GUI element
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18564-18577	If a process is an instance of sharing and an agent is an agent of the process and the process ends up at an entity and an object is a patient of the process, then there exist another process and another object such that the other process is an instance of giving and the other process is a subprocess of the process and the other object is a patient of the other process and the other object is a proper part of the object and the agent is an agent of the other process and the other process ends up at the entity
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1920-1929	If a GUI element is an instance of interface window and another GUI element is an instance of GUI element and the GUI element is displayed on a computer screen and the other GUI element is displayed on the computer screen and the other GUI element is not an instance of interface window and the GUI element has state GUE active state and the other GUI element has state GUE active state, then the other GUI element is a proper part of the GUI element
No TPTP formula. May not be expressible in strict first order.	Merge.kif 942-947	If an object is a part of another object and the other object is not a part of the object, then the object is a proper part of the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1914-1920	If a length measure is an elevation of an object, then there exists another object such that the other object is a proper part of sea level and the object is vertical to the other object and the distance between the object and the other object is the length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9837-9846	If an object is equal to the difference between the parts of another object and a third object, then for all a fourth object the fourth object is a proper part of the object if and only if the fourth object is a proper part of the other object and the fourth object is not a proper part of the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1199-1207	If a physical is an instance of bullet cartridge, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of bullet and the other entity is an instance of casing and the entity is a proper part of the physical and the other entity is a proper part of the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1212-1222	If an agent is an instance of casing, then there exist an object, another object and a process such that the object is an instance of bullet cartridge and the other object is an instance of bullet and the process is an instance of keeping and the agent is a proper part of the object and the other object is a proper part of the object and the agent is an agent of the process and the other object is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2563-2568	If an object is an instance of ship cabin, then there exists another object such that the object is an instance of ship cabin and the object is a proper part of the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5138-5143	If an object is an instance of gulf, then there exists another object such that the other object is an instance of salt water area and the object is a proper part of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18477-18488	If a process is an instance of hanging, then there exist an object, another object and an agent such that the agent is an instance of human and the object is an instance of string and the other object is an instance of neck and the agent experiences the process and the other object is a proper part of the agent and the object is an instrument for the process and the object meets the other object holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9918-9921	If an object is an instance of hole, then there exists another object such that the other object is a proper part of the object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 82-87	If an object is an instance of hotel, then there exists another object such that the other object is an instance of hotel room and the other object is a proper part of the object
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1090-1095	If an object is an instance of cell envelope, then there exists another object such that the other object is a proper part of the object and the other object is an instance of lipoprotein
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10882-10887	If an object is an instance of cell part, then there exists another object such that the other object is an instance of cell and the object is a proper part of the other object
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1185-1196	If an object is an instance of enveloped virus, then there exists another object such that the other object is a proper part of the object and the other object is an instance of viral core and there doesn't exist a third object such that the third object is an instance of viral core and the third object is a proper part of the object and the third object is not equal to the other object
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 571-576	If an object is an instance of lipid bilayer, then there exists another object such that the other object is a proper part of the object and the other object is an instance of lipid membrane molecule
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 558-569	If an object is an instance of plasma membrane, then there exists another object such that the other object is a proper part of the object and the other object is an instance of lipid bilayer and there doesn't exist a third object such that the third object is an instance of lipid bilayer and the third object is a proper part of the object and the third object is not equal to the other object
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 356-361	If an object is an instance of plasma membrane, then there exists another object such that the other object is a proper part of the object and the other object is an instance of protein
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1145-1150	If an object is an instance of virus, then there exists another object such that the other object is a proper part of the object and the other object is an instance of virus part
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1126-1131	If an object is an instance of virus core envelope, then there exists another object such that the other object is a proper part of the object and the other object is an instance of palisade
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1138-1143	If an object is an instance of virus part, then there exists another object such that the object is a proper part of the other object and the other object is an instance of virus
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4530-4532	If an object is an instance of ocean, then the object is a proper part of world ocean
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3482-3509	If a physical is an instance of protective eyewear, then the physical has the purpose if there exists the physicalRSON such that the physicalRSON is an instance of human and the physicalRSON wears the physical, then there exist another entity, a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the other entity is an instance of process and the physical is an instrument for the other entity and the fourth entity is a subclass of the class described by the fifth entity and the other entity prevents the occurrence of the fourth entity

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.

VirusProteinAndCellPart.kif 1174-1174

The cell part of an object and a kind of cell part is a proper part of the object

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

KB Term:			Term intersection

English Word: