TreeView Knowledge Base Browser - SelfConnectedObject

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1555-1556
No TPTP formula. May not be expressible in strict first order.	Merge.kif 864-865
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 126-127
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 146-147
No TPTP formula. May not be expressible in strict first order.	Merge.kif 862-862	Self connected object is a subclass of object

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1262-1262	Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 899-899	The range of back is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 879-879	The range of front is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14859-14859	The values returned by food for fn are subclasses of self connected object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4492-4492	Body of water is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1226-1226	Corpuscular object is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14874-14874	Food is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4723-4723	Iceberg is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 867-867	Organic thing is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2361-2361	Ramp is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2574-2574	Ship container is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1041-1041	Substance is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14266-14266	Transitway is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 816-816
No TPTP formula. May not be expressible in strict first order.	english_format.kif 834-834
No TPTP formula. May not be expressible in strict first order.	french_format.kif 492-492
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 25-25
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 28-28
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2177-2177
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 444-444
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 29-29
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 59-59
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 513-513
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 29-29

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 898-898	The number 1 argument of back is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 878-878	The number 1 argument of front is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17941-17941	The number 1 argument of approximate diameter is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9709-9709	The number 1 argument of bottom is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9710-9710	The number 2 argument of bottom is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6681-6681	The number 1 argument of capacity is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1019-1019	The number 1 argument of contains is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7550-7550	The number 1 argument of height is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 995-995	The number 2 argument of hole is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22699-22699	The number 1 argument of member at time is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17401-17401	The number 1 argument of onboard is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9739-9739	The number 1 argument of side is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9740-9740	The number 2 argument of side is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9677-9677	The number 1 argument of surface is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9678-9678	The number 2 argument of surface is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9724-9724	The number 1 argument of top is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9725-9725	The number 2 argument of top is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7284-7284	The number 1 argument of weight is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Food.kif 1656-1656	The number 1 argument of amount of ingredient is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order.	Food.kif 1657-1657	The number 2 argument of amount of ingredient is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2605-2605	The number 2 argument of trafficable for traffic type is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3036-3036	The number 2 argument of transitway capacity count is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3046-3046	The number 2 argument of transitway capacity rate is a subclass of self connected object

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9515-9519	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.	Cars.kif 1987-1999	If an entity is an instance of self connected object and a process is an instance of compressing and the entity is a patient of the process and the measure of the entity is a real number another entity(s) holds during immediately before the time of existence of the process and the other entity is an instance of unit of volume and the measure of the entity is another real number the other entity(s) holds during immediately after the time of existence of the process, then the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 144-169	If a real number an unit of measure(s) is a maximum payload capacity of a vehicle and the vehicle is maximum payload height width another real number another unit of measure(s) for a third real number a third unit of measure(s) and a self connected object is an instance of self connected object and a fourth real number the fourth real numberU(s) is a weight of the self connected object and the width of the self connected object is a fifth real number the fifth real numberU(s) and the height of the self connected object is a sixth real number the sixth real numberU(s) and the fourth real numberU is equal to the unit of measure and the fifth real numberU is equal to the third unit of measure and the sixth real numberU is equal to the other unit of measure and the fourth real number is less than or equal to the real number and the fifth real number is less than or equal to the third real number and the sixth real number is less than or equal to the other real number, then the vehicle is capable of doing the class described by a symbolic string as a instrument
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4638-4652	If a collection and another collection are mutually exclusive and a third collection is an instance of collection and a fourth collection is an instance of collection and a physical is an instance of self connected object and the physical is a member of the collection and the third collection is a member of the other collection and the fourth collection is a member of the other collection and the third collection is not equal to the fourth collection, then ~{ the physical is a member of the third collection } or ~{ the physical is a member of the fourth collection }
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4627-4636	If a collection and another collection are mutually exclusive and a physical is a member of the collection and the physical is an instance of self connected object, then there exists a third collection such that the third collection is an instance of collection and the physical is a member of the third collection and the third collection is a member of the other collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4620-4625	If a collection and another collection are mutually exclusive and a physical is a member of the other collection and the physical is an instance of self connected object, then the physical is an instance of collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 910-912	If a self connected object is an instance of self connected object, then a side of the self connected object is the back of the self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 891-893	If a self connected object is an instance of self connected object, then a side of the self connected object is the front of the self connected object

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9521-9525	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.	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 12475-12480	If a process is an instance of combining, then there exists an entity such that the entity is an instance of self connected object and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14477-14483	If an object is an instance of label, then there exists another object such that the other object is an instance of self connected object and the object is connected to the other object and the object includes a reference to the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12491-12496	If a process is an instance of separating, then there exists an entity such that the entity is an instance of self connected object and the entity is a patient of the process

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

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: