TreeView Knowledge Base Browser - SelfConnectedObject

appearance as argument number 1

(documentation SelfConnectedObject ChineseLanguage " SelfConnectedObject 是任何并非由两个或以上不相连部分所组成的 Object。")	chinese_format.kif 1555-1556
(documentation SelfConnectedObject EnglishLanguage "A SelfConnectedObject is any Object that does not consist of two or more disconnected parts.")	Merge.kif 857-858
(documentation SelfConnectedObject JapaneseLanguage "SelfConnectedObject は任意の Object で、2つ以上の切断されたパーツで構成されていない。")	japanese_format.kif 126-127
(documentation SelfConnectedObject SpanishLanguage "Un SelfConnectedObject es cualquier Object que no consiste en dos o más partes desconectadas.")	spanish_format.kif 146-147
(subclass SelfConnectedObject Object)	Merge.kif 855-855	Self connected object is a subclass of object

appearance as argument number 2

(disjoint Collection SelfConnectedObject)	Merge.kif 1272-1272	Collection is disjoint from self connected object
(range BackFn SelfConnectedObject)	Merge.kif 892-892	The range of back is an instance of self connected object
(range FrontFn SelfConnectedObject)	Merge.kif 872-872	The range of front is an instance of self connected object
(rangeSubclass FoodForFn SelfConnectedObject)	Merge.kif 15012-15012	The values returned by food for fn are subclasses of self connected object
(subclass BodyOfWater SelfConnectedObject)	Geography.kif 4732-4732	Body of water is a subclass of self connected object
(subclass CorpuscularObject SelfConnectedObject)	Merge.kif 1236-1236	Corpuscular object is a subclass of self connected object
(subclass Food SelfConnectedObject)	Merge.kif 15027-15027	Food is a subclass of self connected object
(subclass Iceberg SelfConnectedObject)	Geography.kif 4963-4963	Iceberg is a subclass of self connected object
(subclass OrganicThing SelfConnectedObject)	Merge.kif 860-860	Organic thing is a subclass of self connected object
(subclass Ramp SelfConnectedObject)	Mid-level-ontology.kif 2824-2824	Ramp is a subclass of self connected object
(subclass Substance SelfConnectedObject)	Merge.kif 1051-1051	Substance is a subclass of self connected object
(subclass Transitway SelfConnectedObject)	Merge.kif 14419-14419	Transitway is a subclass of self connected object
(termFormat ChineseLanguage SelfConnectedObject "自身连接物体")	chinese_format.kif 816-816	Transitway is a subclass of self connected object
(termFormat EnglishLanguage SelfConnectedObject "self connected object")	english_format.kif 834-834	Transitway is a subclass of self connected object
(termFormat FrenchLanguage SelfConnectedObject "objet en une partie")	french_format.kif 492-492	Transitway is a subclass of self connected object
(termFormat Hindi SelfConnectedObject "aatmasambaddha vastu")	terms-hindi.txt 25-25	Transitway is a subclass of self connected object
(termFormat ItalianLanguage SelfConnectedObject "OggettoIntegro")	terms-it.txt 28-28	Transitway is a subclass of self connected object
(termFormat JapaneseLanguage SelfConnectedObject "自己接続オブジェクト")	japanese_format.kif 2177-2177	Transitway is a subclass of self connected object
(termFormat PortugueseLanguage SelfConnectedObject "Objeto auto-conectado")	portuguese_format.kif 444-444	Transitway is a subclass of self connected object
(termFormat cb SelfConnectedObject "kaugalingong pagsumpay pagtutol")	terms-cb.txt 29-29	Transitway is a subclass of self connected object
(termFormat cz SelfConnectedObject "self connected object")	terms-cz.txt 59-59	Transitway is a subclass of self connected object
(termFormat de SelfConnectedObject "selbstverbundener Gegenstand")	terms-de.txt 318-318	Transitway is a subclass of self connected object
(termFormat ro SelfConnectedObject "obiect indivizibil")	relations-ro.kif 513-513	Transitway is a subclass of self connected object
(termFormat tg SelfConnectedObject "bagay na nakakabit sa sarili")	terms-tg.txt 29-29	Transitway is a subclass of self connected object

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domain BackFn 1 SelfConnectedObject)	Merge.kif 891-891	The number 1 argument of back is an instance of self connected object
(domain FrontFn 1 SelfConnectedObject)	Merge.kif 871-871	The number 1 argument of front is an instance of self connected object
(domain approximateDiameter 1 SelfConnectedObject)	Mid-level-ontology.kif 19512-19512	The number 1 argument of approximate diameter is an instance of self connected object
(domain bottom 1 SelfConnectedObject)	Merge.kif 9847-9847	The number 1 argument of bottom is an instance of self connected object
(domain bottom 2 SelfConnectedObject)	Merge.kif 9848-9848	The number 2 argument of bottom is an instance of self connected object
(domain capacity 1 SelfConnectedObject)	Mid-level-ontology.kif 7618-7618	The number 1 argument of capacity is an instance of self connected object
(domain contains 1 SelfConnectedObject)	Merge.kif 1029-1029	The number 1 argument of contains is an instance of self connected object
(domain height 1 SelfConnectedObject)	Merge.kif 7598-7598	The number 1 argument of height is an instance of self connected object
(domain hole 2 SelfConnectedObject)	Merge.kif 1005-1005	The number 2 argument of hole is an instance of self connected object
(domain memberAtTime 1 SelfConnectedObject)	Mid-level-ontology.kif 24340-24340	The number 1 argument of member at time is an instance of self connected object
(domain onboard 1 SelfConnectedObject)	Mid-level-ontology.kif 18952-18952	The number 1 argument of onboard is an instance of self connected object
(domain side 1 SelfConnectedObject)	Merge.kif 9877-9877	The number 1 argument of side is an instance of self connected object
(domain side 2 SelfConnectedObject)	Merge.kif 9878-9878	The number 2 argument of side is an instance of self connected object
(domain surface 1 SelfConnectedObject)	Merge.kif 9813-9813	The number 1 argument of surface is an instance of self connected object
(domain surface 2 SelfConnectedObject)	Merge.kif 9814-9814	The number 2 argument of surface is an instance of self connected object
(domain top 1 SelfConnectedObject)	Merge.kif 9862-9862	The number 1 argument of top is an instance of self connected object
(domain top 2 SelfConnectedObject)	Merge.kif 9863-9863	The number 2 argument of top is an instance of self connected object
(domain weight 1 SelfConnectedObject)	Merge.kif 7328-7328	The number 1 argument of weight is an instance of self connected object
(domainSubclass ingredientAmount 1 SelfConnectedObject)	Food.kif 1662-1662	The number 1 argument of amount of ingredient is a subclass of self connected object
(domainSubclass ingredientAmount 2 SelfConnectedObject)	Food.kif 1663-1663	The number 2 argument of amount of ingredient is a subclass of self connected object
(domainSubclass trafficableForTrafficType 2 SelfConnectedObject)	Transportation.kif 3136-3136	The number 2 argument of trafficable for traffic type is a subclass of self connected object

antecedent

(=> (and (instance ?OBJ SelfConnectedObject) (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2))) (connected ?PART1 ?PART2))	Merge.kif 9651-9655	If an object is an instance of self connected object and equal the object and the union of the parts of another object and a third object, then the other object is connected to the third object
(=> (and (instance ?SCO SelfConnectedObject) (instance ?C Compressing) (patient ?C ?SCO) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (measure ?SCO (MeasureFn ?N1 ?V))) (instance ?V UnitOfVolume) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (measure ?SCO (MeasureFn ?N2 ?V)))) (greaterThan ?N1 ?N2))	Cars.kif 1971-1983	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
(=> (and (instance ?X PartInspection) (patient ?X ?P) (instance ?P SelfConnectedObject)) (exists (?A ?M) (and (part ?P ?A) (instance ?A Artifact) (instance ?M Manufacture) (result ?M ?A) (subProcess ?X ?M))))	Economy.kif 2059-2070	If a process is an instance of part inspection and an object is a patient of the process and the object is an instance of self connected object, then there exist another object and another process such that the object is a part of the other object and the other object is an instance of artifact and the other process is an instance of manufacture and the other object is a result of the other process and the process is a subprocess of the other process
(=> (and (maximumPayloadCapacity ?V (MeasureFn ?WEIGHT ?UNITWEIGHT)) (maximumPayloadHeightWidth ?V (MeasureFn ?HEIGHT ?UNITHEIGHT) (MeasureFn ?WIDTH ?UNITWIDTH)) (instance ?O SelfConnectedObject) (weight ?O (MeasureFn ?WEO ?WEOU)) (width ?O (MeasureFn ?WO ?WOU)) (height ?O (MeasureFn ?HO ?HOU)) (equal ?WEOU ?UNITWEIGHT) (equal ?WOU ?UNITWIDTH) (equal ?HOU ?UNITHEIGHT) (lessThanOrEqualTo ?WEO ?WEIGHT) (lessThanOrEqualTo ?WO ?WIDTH) (lessThanOrEqualTo ?HO ?HEIGHT)) (capability (KappaFn ?TRANSPORT (and (instance ?TRANSPORT Transportation) (patient ?TRANSPORT ?O))) instrument ?V))	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 equal the fourth real numberU and the unit of measure and equal the fifth real numberU and the third unit of measure and equal the sixth real numberU and 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
(=> (and (meceCollection ?COLL1 ?COLL2) (instance ?COLL3 Collection) (instance ?COLL4 Collection) (instance ?MEMBER SelfConnectedObject) (member ?MEMBER ?COLL1) (member ?COLL3 ?COLL2) (member ?COLL4 ?COLL2) (not (equal ?COLL3 ?COLL4))) (not (and (member ?MEMBER ?COLL3) (member ?MEMBER ?COLL4))))	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 equal the third collection and the fourth collection, then ~{ the physical is a member of the third collection } or ~{ the physical is a member of the fourth collection }
(=> (and (meceCollection ?COLL1 ?COLL2) (member ?MEMBER ?COLL1) (instance ?MEMBER SelfConnectedObject)) (exists (?COLL3) (and (instance ?COLL3 Collection) (member ?MEMBER ?COLL3) (member ?COLL3 ?COLL2))))	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
(=> (and (meceCollection ?COLL1 ?COLL2) (member ?MEMBER ?COLL2) (instance ?MEMBER SelfConnectedObject)) (instance ?MEMBER Collection))	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
(=> (instance ?OBJ SelfConnectedObject) (side (BackFn ?OBJ) ?OBJ))	Merge.kif 904-906	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
(=> (instance ?OBJ SelfConnectedObject) (side (FrontFn ?OBJ) ?OBJ))	Merge.kif 884-886	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

(=> (and (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2)) (connected ?PART1 ?PART2)) (instance ?OBJ SelfConnectedObject))	Merge.kif 9657-9661	If equal an object and 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
(=> (and (instance ?P ThreeDPrinting) (instance ?O Artifact) (result ?P ?O)) (exists (?A ?X ?B ?Y) (and (instance ?A Making) (subProcess ?A ?P) (instance ?X SelfConnectedObject) (part ?X ?O) (result ?A ?X) (instance ?B Making) (subProcess ?B ?P) (instance ?Y SelfConnectedObject) (part ?Y ?O) (overlapsSpatially ?X ?Y) (orientation ?X ?Y Below) (during (WhenFn ?A) (WhenFn ?P)) (during (WhenFn ?B) (WhenFn ?P)) (earlier (WhenFn ?A) (WhenFn ?B)))))	QoSontology.kif 537-563	If a process is an instance of 3D printing and an object is an instance of artifact and the object is a result of the process, then there exist another process, another object,, , a third process and a third object such that the other process is an instance of making and the other process is a subprocess of the process and the other object is an instance of self connected object and the other object is a part of the object and the other object is a result of the other process and the third process is an instance of making and the third process is a subprocess of the process and the third object is an instance of self connected object and the third object is a part of the object and the other object and the third object overlapsSpatially and the other object is below to the third object and the time of existence of the other process takes place during the time of existence of the process and the time of existence of the third process takes place during the time of existence of the process and the time of existence of the other process happens earlier than the time of existence of the third process
(=> (attribute ?X PartialVacuum) (exists (?O ?G ?P1 ?P2 ?PM) (and (instance ?O SelfConnectedObject) (instance ?G Region) (not (equal ?G ?X)) (connected ?X ?O) (connected ?G ?O) (measure ?G (MeasureFn ?P1 ?PM)) (measure ?X (MeasureFn ?P2 ?PM)) (instance ?PM UnitOfAtmosphericPressure) (greaterThan ?P1 ?P2))))	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 equal the third object and 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
(=> (attribute ?X Pressurized) (exists (?O ?G ?P1 ?P2 ?PM) (and (instance ?O SelfConnectedObject) (instance ?G Region) (not (equal ?G ?X)) (connected ?X ?O) (connected ?G ?O) (measure ?G (MeasureFn ?P1 ?PM)) (measure ?X (MeasureFn ?P2 ?PM)) (instance ?PM UnitOfAtmosphericPressure) (greaterThan ?P2 ?P1))))	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 equal the third object and 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
(=> (instance ?COMBINE Combining) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (patient ?COMBINE ?OBJ))))	Merge.kif 12629-12634	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
(=> (instance ?LABEL Label) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (connected ?LABEL ?OBJ) (refers ?LABEL ?OBJ))))	Mid-level-ontology.kif 15848-15854	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
(=> (instance ?P ProductAssembly) (exists (?O ?Q ?W) (and (patient ?P ?O) (patient ?P ?Q) (not (equal ?O ?Q)) (instance ?O SelfConnectedObject) (instance ?Q SelfConnectedObject) (part ?O ?W) (part ?Q ?W) (instance ?W Artifact) (result ?P ?W))))	Economy.kif 2149-2162	If a process is an instance of Product assembly, then there exist an object, another object and a third object such that the object is a patient of the process and the other object is a patient of the process and equal the object and the other object and the object is an instance of self connected object and the other object is an instance of self connected object and the object is a part of the third object and the other object is a part of the third object and the third object is an instance of artifact and the third object is a result of the process
(=> (instance ?SEPARATE Separating) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (patient ?SEPARATE ?OBJ))))	Merge.kif 12645-12650	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
(=> (instance ?X PartInspection) (hasPurpose ?X (exists (?O ?P) (and (instance ?O SelfConnectedObject) (patient ?X ?O) (instance ?P Proposition) (refers ?P ?O) (modalAttribute (conforms ?O ?P) Necessity)))))	Economy.kif 2072-2082	If a physical is an instance of part inspection, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of self connected object and the entity is a patient of the physical and the other entity is an instance of proposition and the other entity includes a reference to the entity and the statement the entity conforms to the other entity has the modal force of necessity

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: