TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2823-2824
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9528-9529
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1565-1566
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9525-9525	The number 1 argument of connected is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9526-9526	The number 2 argument of connected is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9521-9521	connected is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9523-9523	connected is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9522-9522	connected is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9524-9524	connected is an instance of symmetric relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4200-4200	crosses and connected are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 361-361
No TPTP formula. May not be expressible in strict first order.	english_format.kif 364-364
No TPTP formula. May not be expressible in strict first order.	french_format.kif 209-209
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 52-52
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2016-2016
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 161-161
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 86-86
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 216-216
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 480-480
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 93-93
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 229-229
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 226-226
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 120-120
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9592-9592	meets spatially is internally related to connected
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16117-16117	connected engineering components is a subrelation of connected
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4033-4033	overlap spatially is a subrelation of connected
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 362-362
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16638-16638
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16637-16637
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16636-16636
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 121-121

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.	Merge.kif 9737-9742	If the bottom of a self connected object is another self connected object and an object is a part of the self connected object and the object is not connected to the other self connected object, then the object is above to the other self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9576-9582	If an object is connected to another object and the object is connected to a third object and the other object is not connected to the third object, then the object connects the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 514-518	If an object is connected to another object and the other object is a part of a third object, then the object is connected to the third object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9543-9547	If an object is equal to the union of the parts of another object and a third object and the other object is connected to the third object, then the object is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12405-12419	If a process is an instance of attaching and an entity is a patient of the process and another entity is a patient of the process and the entity is not connected to the other entity holds during the beginning of the time of existence of the process and the entity is connected to the other entity holds during the end of the time of existence of the process, then the process attaches the entity to another object and the process attaches the other entity to another object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10576-10592	If an object is an instance of body segment and another object is an instance of body segment and the object is connected to the other object and a motion is an instance of body motion and the object moves during the motion, then the statement there doesn't exist the motion2 such that the motion2 is an instance of body motion and the other object moves during the motion2 and the time of existence of the motion2 takes place during the time of existence of the motion has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5330-5335	If an object is an instance of channel and another object is an instance of body of water and the object is connected to the other object, then the other object is larger than the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12453-12462	If a process is an instance of detaching and an entity is a patient of the process and another entity is a patient of the process and the entity is connected to the other entity holds during the beginning of the time of existence of the process and the entity is not connected to the other entity holds during the end of the time of existence of another process, then the other process detaches the entity from another object and the other process detaches the other entity from another object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17904-17914	If an object is an instance of object and long and thin is an attribute of the object and another object is an instance of object and long and thin is an attribute of the other object and the object is connected to the other object and the object is not equal to the other object, then there exists a real number such that the relative angle between the object and the other object is the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5380-5395	If a geographic area is an instance of inland water system and another geographic area is an instance of water area and a third geographic area is an instance of water area and the other geographic area is not equal to the third geographic area and the other geographic area is not connected to the third geographic area and the other geographic area is a geographic subregion of the geographic area and the third geographic area is a geographic subregion of the geographic area, then there exists an object such that the object is an instance of water area and the object is not equal to the other geographic area and the object is not equal to the other geographic area and the object is a part of the geographic area and the object connects the other geographic area and the third geographic area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10068-10072	If an object properly fills a hole and another object is connected to the object, then the hole is connected to the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9767-9773	If a side of a self connected object is another self connected object and an object is a part of the self connected object and the object is not connected to the other self connected object, then there exists a positional attribute such that the other self connected object is the positional attribute to the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9752-9757	If the top of a self connected object is another self connected object and an object is a part of the self connected object and the object is not connected to the other self connected object, then the object is below to the other self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9531-9535	If an object is connected to another object, then the object meets the other object or the object and the other object overlapsSpatially

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17125-17129	An object is adjacent to another object if and only if the object is near to the other object or the object is connected to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 514-518	If an object is connected to another object and the other object is a part of a third object, then the object is connected to the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11966-11976	If a a kind of body part is connected to a another kind of body part and healthy is an attribute of an object, then there exist a kind of body partI and another kind of body partI such that the kind of body partI is an instance of the kind of body part and the other kind of body partI is an instance of the other kind of body part and the kind of body partI is a part of the object and the other kind of body partI is a part of the object and the kind of body partI is connected to the other kind of body partI
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 32-46	If connectedBodyPartTypes a kind of body part, another kind of body part and a kind of organism and a kind of organismC is an instance of the kind of organism and disease or syndrome is not an attribute of another object, then there exist a third object and a fourth object such that the third object is an instance of a kind of body part and the fourth object is an instance of another kind of body part and the third object is not equal to the fourth object and the third object is a part of the kind of organismC and the fourth object is a part of the kind of organismC and the third object is connected to the fourth object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12382-12389	If a process is an instance of attaching and an entity is a patient of the process and another entity is a patient of the process, then the entity is not connected to the other entity holds during the beginning of the time of existence of the process and the entity is connected to the other entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12430-12437	If a process is an instance of detaching and an entity is a patient of the process and another entity is a patient of the process, then the entity is connected to the other entity holds during the beginning of the time of existence of the process and the entity is not connected to the other entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Media.kif 690-700	If a process is an instance of data saving and an object is a resource for the process and the object is an instance of electronic data storage device, then there exists another object such that the other object is an instance of electric device and the other object is an instrument for the process and the object is connected to the other object holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10646-10656	If a motion is an instance of extension and an object moves during the motion, then there exist another object and the other objectC such that the other object is an instance of muscle and the other objectC is an instance of muscular contraction and the other object is an instrument for the motion and the other object is connected to the object and the other objectC is a subprocess of the motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10606-10616	If a motion is an instance of flexion and an object moves during the motion, then there exist another object and the other objectC such that the other object is an instance of muscle and the other objectC is an instance of muscular contraction and the other object is an instrument for the motion and the other object is connected to the object and the other objectC is a subprocess of the motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9537-9541	If an object is an instance of self connected object and the object is equal to the union of the parts of another object and a third object, then the other object is connected to the third object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2949-2957	If an object is an instance of port facility and the object is capable of doing ship berthing as a patient, then there exists another object such that the other object is an instance of harbor and the other object is connected to the object and the other object is capable of doing ship berthing as a path
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5661-5670	If a river is an instance of river and an object is an instance of body of water and the object is a flows of the river, then there exists a water area such that the water area is an instance of river mouth and the water area is the outfall of the river and the water area is connected to the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11507-11514	If a process is an instance of touching and an agent is an agent of the process and an entity is a patient of the process, then the agent is not connected to the entity holds during the beginning of the time of existence of the process and the agent is connected to 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 3538-3547	If an object is an instance of vehicle wheel and a corpuscular object is an instance of road vehicle and the object is a part of the corpuscular object, then there exists another corpuscular object such that the other corpuscular object is an instance of axle and the other corpuscular object is a component of the corpuscular object and the object is connected to the other corpuscular object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10068-10072	If an object properly fills a hole and another object is connected to the object, then the hole is connected to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2698-2714	If locked is an attribute of an object, then there exist another object, a process and an entity such that the other object is an instance of lock and the other object is connected to the object and the process is an instance of closing and the other object is a patient of the process and the entity is an instance of motion and the time of existence of the process happens earlier than the time of existence of locked is an attribute of the object and the statement the object is a patient of the entity doesn't have the modal force of possibility holds during the time of existence of locked is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 383-396	If partial vacuum is an attribute of an object, then there exist another object, a third object,, , a real number,, , another real number and an unit of measure such that the other object is an instance of self connected object and the third object is an instance of region and the third object is not equal to the object and the object is connected to the other object and the third object is connected to the other object and the measure of the third object is the real number the unit of measure(s) and the measure of the object is the other real number the unit of measure(s) and the unit of measure is an instance of unit of atmospheric pressure and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Cars.kif 403-416	If pressurized is an attribute of an object, then there exist another object, a third object,, , a real number,, , another real number and an unit of measure such that the other object is an instance of self connected object and the third object is an instance of region and the third object is not equal to the object and the object is connected to the other object and the third object is connected to the other object and the measure of the third object is the real number the unit of measure(s) and the measure of the object is the other real number the unit of measure(s) and the unit of measure is an instance of unit of atmospheric pressure and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10061-10066	If an object completely fills a hole, then for all another object if the other object is connected to the hole, then the other object is connected to the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9568-9574	If an object connects another object and a third object, then the object is connected to the other object and the object is connected to the third object and the other object is not connected to the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24326-24333	If a kind of device is an equipment type of an artifact, then there exists an object such that the object is an instance of a kind of device and the object is a part of the artifact or the object is connected to the artifact
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5442-5444	If an object is a flows of another object, then the other object is connected to the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9957-9959	If a hole is a hole in a self connected object, then the hole is connected to the self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15365-15370	If an object is an instance of fireplace, then there exists another object such that the other object is an instance of chimney and the object is connected to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5129-5136	If an object is an instance of gulf, then there exists another object such that the other object is an instance of sea or the other object is an instance of ocean and the object is connected to the other object

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.	Geography.kif 5169-5169	Gulf of aden is connected to arabian sea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5177-5177	Gulf of mexico is connected to caribbean sea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5176-5176	Gulf of mexico is connected to north atlantic ocean
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5161-5161	Gulf of oman is connected to arabian sea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4631-4631	Indian ocean is connected to persian gulf
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4630-4630	Indian ocean is connected to south pacific ocean
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4632-4632	Indian ocean is connected to southern ocean
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 744-744	Mississippi river is connected to Gulf of mexico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5154-5154	Persian gulf is connected to strait of hormuz
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5168-5168	Red sea is connected to gulf of aden
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5160-5160	Strait of hormuz is connected to gulf of oman

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

KB Term:			Term intersection

English Word: